Pages that link to "Item:Q679849"

The following pages link to A countable definable set containing no definable elements (Q679849):

Displaying 20 items.

• A definable \(E_0\) class containing no definable elements (Q494659) (← links)
• Countable OD sets of reals belong to the ground model (Q1745352) (← links)
• Typicality à la Russell in set theory (Q2153829) (← 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)
• Proper and piecewise proper families of reals (Q3184219) (← links)
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes (Q4568543) (← links)
• Borel OD sets of reals are OD-Borel in some simple models (Q4644723) (← links)
• Models of set theory in which the separation theorem fails (Q5033988) (← links)
• A Groszek‐Laver pair of undistinguishable ‐classes (Q5108086) (← links)
• Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$ (Q5162560) (← links)
• An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited (Q5163164) (← links)
• A choice function on countable sets, from determinacy (Q5179344) (← links)
• Reductions between certain incidence problems and the continuum hypothesis (Q5213271) (← links)
• A model of second-order arithmetic satisfying AC but not DC (Q5223119) (← 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)
• 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)
• A classical way forward for the regularity and normalization problems (Q6180117) (← links)