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
From MaRDI portal
Publication:6131201
DOI10.1016/j.apal.2024.103426OpenAlexW4392247162MaRDI QIDQ6131201
Kanovei, Vladimir, Vassily Lyubetsky
Publication date: 4 April 2024
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2024.103426
Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cardinal characteristics, projective wellorders and large continuum
- Cardinal characteristics and projective wellorders
- A countable definable set containing no definable elements
- Surrealist landscape with figures (a survey of recent results in set theory)
- Projective well-orderings of the reals
- The bounded proper forcing axiom and well orderings of the reals
- Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
- Descriptive set theory
- Fine structure and class forcing
- A model of set-theory in which every set of reals is Lebesgue measurable
- Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
- The full basis theorem does not imply analytic wellordering
- What is the theory without power set?
- Measure, category and projective wellorders
- Constructibility and Class Forcing
- BPFA and projective well-orderings of the reals
- Some consequences of the axiom of constructibility
- [https://portal.mardi4nfdi.de/wiki/Publication:3328537 A Minimal Model for � CH: Iteration of Jensen's Reals]
- Long projective wellorderings
- On non-wellfounded iterations of the perfect set forcing
- sets of reals
- DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
- A new construction of non-constructible ${Δ^1}_3$ subset of ω
- Set Theory
- On the Leibniz–Mycielski axiom in set theory
- Models of set theory in which the separation theorem fails
- A WELLORDER OF THE REALS WITH SATURATED
- A model of second-order arithmetic satisfying AC but not DC
- Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
- Generalized Iteration of Forcing
- Consistency of the Continuum Hypothesis. (AM-3)
This page was built for publication: 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
