The following pages link to (Q5656764):
Displaying 32 items.
- A definable \(E_0\) class containing no definable elements (Q494659) (← links)
- An effective minimal encoding of uncountable sets (Q665897) (← links)
- A countable definable set containing no definable elements (Q679849) (← links)
- Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation (Q904147) (← links)
- Applications of iterated perfect set forcing (Q1106204) (← links)
- Simple complete Boolean algebras (Q1231506) (← links)
- A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) (Q1256454) (← links)
- A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\) (Q1315458) (← links)
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)
- Minimal model of \(''\aleph ^ L_ 1\) is countable'' and definable reals (Q1820156) (← links)
- Factoring Solovay-random extensions, with application to the reduction property (Q2220386) (← links)
- Set-theoretic blockchains (Q2274142) (← links)
- ccc forcing and splitting reals (Q2382247) (← links)
- The hyper-weak distributive law and a related game in Boolean algebras (Q2461188) (← links)
- Definable \(\mathsf{E}_0\) classes at arbitrary projective levels (Q2636533) (← links)
- The full basis theorem does not imply analytic wellordering (Q2659101) (← links)
- (Q3977660) (← 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)
- Models of set theory in which the separation theorem fails (Q5033988) (← links)
- A Groszek‐Laver pair of undistinguishable ‐classes (Q5108086) (← links)
- Killing them softly: degrees of inaccessible and Mahlo cardinals (Q5108106) (← 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 model of second-order arithmetic satisfying AC but not DC (Q5223119) (← links)
- EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE (Q5359569) (← 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)
- On slow minimal reals I (Q6052161) (← links)
- STRUCTURAL PROPERTIES OF THE STABLE CORE (Q6095967) (← 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)
