THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL

DOI10.1017/jsl.2018.45zbMath1502.03018OpenAlexW2896828095WikidataQ129079758 ScholiaQ129079758MaRDI QIDQ4692074

Gunter Fuchs, Ralf-Dieter Schindler

Publication date: 26 October 2018

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

Full work available at URL: https://semanticscholar.org/paper/21f16995f766f317538c44e0114ccef5a75cc162

zbMATH Keywords

forcingcore model theorysolidity

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)

Cites Work

• A criterion for coarse iterability
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• INNER MODEL THEORETIC GEOLOGY
• Increasing u₂ by a stationary set preserving forcing
• Long projective wellorderings

This page was built for publication: THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL