Backwards easton forcing and 0#

DOI10.2307/2274573zbMath0657.03036OpenAlexW2165330621MaRDI QIDQ3804695

M. C. Stanley

Publication date: 1988

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

Full work available at URL: https://doi.org/10.2307/2274573

zbMATH Keywords

0 sharpbackwards Easton forcingexotic sequence

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items

0^{♯} and elementary end extensions of 𝑉_{𝜅}

Cites Work

• Unnamed Item
• Aspects of constructibility
• Patterns of Indiscernibles
• The fine structure of the constructible hierarchy