Pages that link to "Item:Q2636533"

The following pages link to Definable \(\mathsf{E}_0\) classes at arbitrary projective levels (Q2636533):

Displaying 11 items.

• A definable \(E_0\) class containing no definable elements (Q494659) (← links)
• \(\Delta_ 1\)-definability (Q1377911) (← links)
• Countable OD sets of reals belong to the ground model (Q1745352) (← links)
• When are definable classes tilting and cotilting classes? (Q2378606) (← links)
• The full basis theorem does not imply analytic wellordering (Q2659101) (← links)
• Definable hereditary families in the projective hierarchy (Q4314765) (← links)
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS (Q4628681) (← 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)
• 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)