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)

[edit] Connected=total?

The link connected does not make clear what connected means here. Does it mean a total relation?--Patrick 09:20, 17 June 2007 (UTC)

Apparently it does, I changed it.--Patrick 09:48, 17 June 2007 (UTC)