The following pages link to (Q5626664):
Displaying 34 items.
- Co-analytic mad families and definable wellorders (Q377480) (← links)
- The stationarity of the collection of the locally regulars (Q494660) (← links)
- Projective mad families (Q636390) (← links)
- An effective minimal encoding of uncountable sets (Q665897) (← links)
- Continuous images of closed sets in generalized Baire spaces (Q891163) (← links)
- Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation (Q904147) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- Minimal collapsing extensions of models of ZFC (Q914664) (← links)
- Applications of iterated perfect set forcing (Q1106204) (← links)
- Playing with admissibility spectra (Q1111551) (← links)
- A consequence of the Martin axiom (Q1136760) (← links)
- Countable admissible ordinals and hyperdegrees (Q1142207) (← links)
- On cardinal collapsing with reals (Q1233023) (← links)
- Robinson forcing is not absolute (Q1245825) (← links)
- A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) (Q1256454) (← links)
- Forcings with ideals and simple forcing notions (Q1262306) (← links)
- A \(\Pi_ 2^ 1\) singleton incompatible with \(0^ \#\) (Q1315458) (← links)
- A simpler proof of Jensen's coding theorem (Q1338196) (← links)
- Models of set theory with definable ordinals (Q1777270) (← links)
- Minimal model of \(''\aleph ^ L_ 1\) is countable'' and definable reals (Q1820156) (← links)
- \(\Pi_ 1^ 1\) wellfounded relations (Q1903130) (← links)
- Forcing lightface definable well-orders without the GCH (Q2255735) (← links)
- The full basis theorem does not imply analytic wellordering (Q2659101) (← links)
- Definable MAD families and forcing axioms (Q2660156) (← links)
- \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals (Q2915903) (← links)
- DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS (Q4628681) (← links)
- (Q4725304) (← links)
- THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES (Q5000254) (← links)
- NS SATURATED AND -DEFINABLE (Q5000262) (← 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)
- Generic absoluteness (Q5935983) (← 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)
- Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization (Q6156423) (← links)
