Two upper bounds on consistency strength of __ and stationary set reflection at two successive _n

DOI10.1215/00294527-2017-0005MaRDI QIDQ2013396zbMATH OpenOpenAlexFDO

Authors Martin Zeman

Publication date 17 August 2017

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1491012044

zbMATH Keywords

stationary set reflectionsquare sequenceiterated club shootingmodified Prikry forcingsubcompact cardinal

Mathematics Subject Classification ID

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

Recommendations

• Subcompact cardinals, squares, and stationary reflection
• Square and delta reflection
• The combinatorial essence of supercompactness
• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\)

Cited in

(8)

• Equiconsistencies at subcompact cardinals
• A small ultrafilter number at smaller cardinals
• STATIONARY REFLECTION
• Strongly proper forcing and some problems of Foreman
• \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
• Subcompact cardinals, squares, and stationary reflection
• scientific article; zbMATH DE number 2222015 (Why is no real title available?)
• Hierarchies of forcing axioms, the continuum hypothesis and square principles

This page was built for publication: Two upper bounds on consistency strength of \(\neg \square_{\aleph_\omega}\) and stationary set reflection at two successive \(\aleph_n\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2013396)