A WELLORDER OF THE REALS WITH SATURATED

DOI10.1017/jsl.2019.43zbMath1454.03066OpenAlexW2961783986WikidataQ127495421 ScholiaQ127495421MaRDI QIDQ5207561

Stefan Hoffelner, Sy-David Friedman

Publication date: 10 January 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2019.43

zbMATH Keywords

inner modelsprojective wellordersnonstationary ideal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05) Other notions of set-theoretic definability (03E47)

Related Items (1)

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
• Simplified RCS iterations
• The bounded proper forcing axiom and well orderings of the reals
• Inner models with many Woodin cardinals
• Projectively well-ordered inner models
• KWithout the Measurable
• Saturated ideals
• Less saturated ideals
• The Size of the Ordinal u ₂

This page was built for publication: A WELLORDER OF THE REALS WITH SATURATED