DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS

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

zbMATH Keywords

forcingprojective classesminimal collapse functions

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (4)

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

This page was built for publication: DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS