Abstract
We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.
Original language | American English |
---|---|
Pages (from-to) | 937-959 |
Number of pages | 23 |
Journal | Journal of Symbolic Logic |
Volume | 85 |
Issue number | 3 |
DOIs | |
State | Published - Sep 2020 |
Bibliographical note
Funding Information:Acknowledgments. Most of the work on this paper was done while both authors were post-doctoral researchers in Tel Aviv University, under Moti Gitik. The first author was partially supported by the Sackler Scholarship of Tel Aviv University during 2018 and by the Lise Meitner FWF Grant, 2650-N35. The second author was partially supported by NSF grant DMS-1700425. We would like to thank Thomas Gilton for carefully reading this paper and providing many helpful comments. We would like to thank Moti Gitik and Menachem Magidor for many useful discussions.
Publisher Copyright:
©
Keywords
- Prikry forcing
- Singular cardinals
- Square
- Stationary reflection
- Subcompact