A good lightface _n^1 well-ordering of the reals does not imply the existence of boldface _n - 1¹ well-orderings

DOI10.1016/J.APAL.2024.103426MaRDI QIDQ6131201zbMATH OpenOpenAlexFDO

Authors Vladimir Kanovei, 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

zbMATH Keywords

projective classesJensen's forcingwell-orderings

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (03E15) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Cites work

• scientific article; zbMATH DE number 3346351 (Why is no real title available?)
• scientific article; zbMATH DE number 3351572 (Why is no real title available?)
• scientific article; zbMATH DE number 3387344 (Why is no real title available?)
• A Minimal Model for � CH: Iteration of Jensen's Reals
• A \(\Sigma_4^1\) wellorder of the reals with \(\mathrm{NS}_{\omega_1}\) saturated
• A countable definable set containing no definable elements
• A model of second-order arithmetic satisfying AC but not DC
• A model of set-theory in which every set of reals is Lebesgue measurable
• A new construction of non-constructible ${Δ^1}_3$ subset of ω
• BPFA and projective well-orderings of the reals
• Cardinal characteristics and projective wellorders
• Cardinal characteristics, projective wellorders and large continuum
• Consistency of the Continuum Hypothesis. (AM-3)
• Constructibility and class forcing
• Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
• Descriptive set theory
• Fine structure and class forcing
• Generalized Iteration of Forcing
• Long projective wellorderings
• Measure, category and projective wellorders
• Models of set theory in which the separation theorem fails
• Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
• On non-wellfounded iterations of the perfect set forcing
• On the Leibniz–Mycielski axiom in set theory
• Projective well-orderings of the reals
• Set Theory
• Some consequences of the axiom of constructibility
• Surrealist landscape with figures (a survey of recent results in set theory)
• The bounded proper forcing axiom and well orderings of the reals
• The full basis theorem does not imply analytic wellordering
• What is the theory ZFC without power set?
• sets of reals

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6131201)