The full basis theorem does not imply analytic wellordering

DOI10.1016/j.apal.2020.102929OpenAlexW3112971342MaRDI QIDQ2659101

Vassily Lyubetsky, Kanovei, Vladimir

Publication date: 25 March 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.03566

zbMATH Keywords

basis theoremanalytic wellorderingproduct Jensen's forcing

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (2)

On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cardinal characteristics, projective wellorders and large continuum
• A definable \(E_0\) class containing no definable elements
• A countable definable set containing no definable elements
• Projective well-orderings of the reals
• Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
• Descriptive set theory
• \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy
• Countable OD sets of reals belong to the ground model
• Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals
• Projective uniformization revisited
• Definable elements of definable Borel sets
• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
• Measure, category and projective wellorders
• [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
• On non-wellfounded iterations of the perfect set forcing
• The Bristol model: An abyss called a Cohen real
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
• Borel OD sets of reals are OD-Borel in some simple models
• A new construction of non-constructible ${Δ^1}_3$ subset of ω
• Set Theory
• On the Leibniz–Mycielski axiom in set theory
• A Groszek‐Laver pair of undistinguishable ‐classes
• 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

This page was built for publication: The full basis theorem does not imply analytic wellordering