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

iterated club shootingmodified Prikry forcingsquare sequencestationary set reflectionsubcompact cardinal

Mathematics Subject Classification ID

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

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)

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

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)