Cardinal characteristics, projective wellorders and large continuum

DOI10.1016/j.apal.2012.12.001zbMath1432.03088MaRDI QIDQ385067

Lyubomyr Zdomskyy, Vera Fischer, Sy-David Friedman

Publication date: 29 November 2013

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.2012.12.001

zbMATH Keywords

Martin's axiomcodinglarge continuumcardinal characteristicsprojective wellorders

Mathematics Subject Classification ID

03E15: Descriptive set theory

03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

03E17: Cardinal characteristics of the continuum

03E20: Other classical set theory (including functions, relations, and set algebra)

Related Items

COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS, Definable towers, On the ‘definability of definable’ problem of Alfred Tarski, Part II, Δ₁-Definability of the non-stationary ideal at successor cardinals, 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, Co-analytic mad families and definable wellorders, The full basis theorem does not imply analytic wellordering, Measure, category and projective wellorders

Cites Work

• Unnamed Item
• Projective wellorders and mad families with large continuum
• Mob families and mad families
• Fine structure and class forcing
• Combinatorial Cardinal Characteristics of the Continuum
• The consistency of b=κ and s=κ⁺
• A general Mitchell style iteration
• On the combinatorial principle P(c)
• Long projective wellorderings
• On the cofinality of the smallest covering of the real line by meager sets
• The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)