Pages that link to "Item:Q5376616"

The following pages link to Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy (Q5376616):

Displaying 7 items.

• Factoring Solovay-random extensions, with application to the reduction property (Q2220386) (← links)
• The full basis theorem does not imply analytic wellordering (Q2659101) (← links)
• Ordinal definability and combinatorics of equivalence relations (Q4973029) (← links)
• Models of set theory in which the separation theorem fails (Q5033988) (← links)
• On the ‘definability of definable’ problem of Alfred Tarski, Part II (Q5045614) (← links)
• An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited (Q5163164) (← links)
• A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings (Q6131201) (← links)