We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.
Bibliographical noteFunding 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.
- Prikry forcing
- Singular cardinals
- Stationary reflection