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

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

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

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)