Pages that link to "Item:Q5108086"
From MaRDI portal
The following pages link to A Groszek‐Laver pair of undistinguishable ‐classes (Q5108086):
Displaying 10 items.
- A countable definable set containing no definable elements (Q679849) (← links)
- Canonization of smooth equivalence relations on infinite-dimensional \(\mathsf{E}_0\)-large products (Q2176409) (← 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)
- 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)
- On Russell typicality in set theory (Q5880254) (← links)
