From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Priority
 Field:  Foundations, logic, and set theory

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)

Image request[edit]

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)


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)