Content deleted Content added
→Requested move: expand |
→Requested move: pointclass page |
||
Line 19:
:::The [[Lightface and darkface]] page is still unwritten. Not being a descriptive set theorist, I tend mentally identify the corresponding hierarchies.[[User:CMummert|CMummert]] · <small>[[User talk:CMummert|talk]]</small> 17:18, 31 March 2007 (UTC)
::::There's a [[pointclass]] page that treats that material, with redirects from [[lightface]], [[lightface pointclass]], [[boldface pointclass]], and a link from [[boldface (disambiguation)]]. No one seems to have touched that page but me. I think it's a critical concept, given that it's the essential subject matter of descriptive set theory (one could almost say it should bear the same relation to the [[descriptive set theory]] article that [[set]] bears to [[set theory]]). I think I did a decent start-class job on the article, but I wonder whether people are actually using the material, given that no one has edited it. --[[User:Trovatore|Trovatore]] 07:11, 1 April 2007 (UTC)
:::And thanks for reverting me at [[Analytic set]], I remembed the distinction when I added it to [[analytical hierarchy]] but not this morning. I wasn't thinking. [[User:CMummert|CMummert]] · <small>[[User talk:CMummert|talk]]</small> 18:27, 31 March 2007 (UTC)
| |||