Two upper bounds on consistency strength of \(\neg \square_{\aleph_\omega}\) and stationary set reflection at two successive \(\aleph_n\)

DOI10.1215/00294527-2017-0005zbMath1417.03252OpenAlexW2597583746MaRDI QIDQ2013396

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

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

Related Items (3)

Strongly proper forcing and some problems of Foreman ⋮ A small ultrafilter number at smaller cardinals ⋮ STATIONARY REFLECTION

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