Pages that link to "Item:Q494659"

The following pages link to A definable \(E_0\) class containing no definable elements (Q494659):

Displaying 13 items.

• Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation (Q904147) (← links)
• Countable OD sets of reals belong to the ground model (Q1745352) (← links)
• Definable elements of definable Borel sets (Q2334907) (← links)
• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels (Q2636533) (← links)
• The full basis theorem does not imply analytic wellordering (Q2659101) (← links)
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes (Q4568543) (← links)
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS (Q4628681) (← links)
• Borel OD sets of reals are OD-Borel in some simple models (Q4644723) (← links)
• Ordinal definability and combinatorics of equivalence relations (Q4973029) (← links)
• Models of set theory in which the separation theorem fails (Q5033988) (← links)
• A Groszek‐Laver pair of undistinguishable ‐classes (Q5108086) (← links)
• Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy (Q5376616) (← links)
• On Russell typicality in set theory (Q5880254) (← links)