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

DOI10.1215/00294527-2017-0005zbMATH Open1417.03252OpenAlexW2597583746MaRDI QIDQ2013396FDOQ2013396

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

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\)

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)

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
• Title not available (Why is that?)
• 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)