Projective well-orderings of the reals

DOI10.1007/s00153-006-0002-6zbMath1110.03035OpenAlexW2111037906MaRDI QIDQ850806

Andrés Eduardo Caicedo, Ralf-Dieter Schindler

Publication date: 6 November 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-006-0002-6

zbMATH Keywords

strong cardinalscore modelsprojective well-orderingsset forcing extension

Mathematics Subject Classification ID

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

Related Items

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 ⋮ EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE ⋮ UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS ⋮ Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy ⋮ BPFA and projective well-orderings of the reals

Cites Work

• Unnamed Item
• Unnamed Item
• The covering lemma up to a Woodin cardinal
• Set theory. An introduction to independence proofs
• The core model for almost linear iterations
• The consistency strength of projective absoluteness
• Weak covering without countable closure
• Projective uniformization revisited
• The non-existence of $Σ^1_2$ well-orderings of the Cantor set
• Long projective wellorderings
• Coding into 𝐾 by reasonable forcing
• Strong cardinals in the core model