DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
From MaRDI portal
Publication:4628681
DOI10.1017/jsl.2018.77zbMath1453.03053arXiv1707.07320OpenAlexW2736954896WikidataQ128296995 ScholiaQ128296995MaRDI QIDQ4628681
Kanovei, Vladimir, Vassily Lyubetsky
Publication date: 15 March 2019
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1707.07320
Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)
Related Items
Models of set theory in which the separation theorem fails ⋮ On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ The full basis theorem does not imply analytic wellordering ⋮ 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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A definable \(E_0\) class containing no definable elements
- Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
- Minimal collapsing extensions of models of ZFC
- Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975
- Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals
- Changing cofinalities and collapsing cardinals in models of set theory
- Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
- Iterated Forcing and Elementary Embeddings
- [https://portal.mardi4nfdi.de/wiki/Publication:3328537 A Minimal Model for � CH: Iteration of Jensen's Reals]
- ON THE NONEMPTINESS OF CLASSES IN AXIOMATIC SET THEORY
- Perfect-set forcing for uncountable cardinals
- Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
- COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS
- Set Theory
- A Groszek‐Laver pair of undistinguishable ‐classes
