Forcing square with small conditions
We show that if $κ^{<κ} = κ$, then there is a $κ$-strategically closed, $κ^+$-c.c.\ partial order that forces $\square_κ$. We discuss consequences for generic large cardinals.
Authors
- Monroe Eskew (ORCID: https://orcid.org/0000-0001-8094-9731)
Publication Details
- Journal
- arXiv (Cornell University)
- Published
- 2026-10-26
- DOI
- https://doi.org/10.48550/arxiv.2610.34900
- Primary Topic
- Advanced Topology and Set Theory
- Type
- preprint