Talk:Prewellordering
From Wikipedia, the free encyclopedia
This is leading up to the definition of the prewellordering property and its consequences for pointclasses that have it (reduction for the pointclass, separation for the dual pointclass). At a minimum, there first needs to be a pointclass page.
Fairly complete now--main problem is the redlinks. The pointclass page I want to put together would have considerable overlap with analytical hierarchy, but the latter is seriously flawed by a lack of a lightface/boldface distinction, and by its conflation of formulas with pointsets (this conflation is fairly routine in a context where it's understood, but it isn't sufficiently explained on the existing page) --Trovatore 7 July 2005 20:01 (UTC)
[edit] Image request
need pics for Reduction and Separation properties. For the latter I don't really want an analogue of Moschovakis' Figure 4B1; I'd rather have one that shows separation of two disjoint sets in Γ. --Trovatore 16:27, 7 September 2005 (UTC)
 |
It is requested that a diagram or diagrams be included in this article to improve its quality. For more information, refer to discussion on this page and/or the listing at Wikipedia:Requested images. |
