Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn

Martin Zeman. Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn. Notre Dame Journal of Formal Logic, 58(3):409-432, 2017. [doi]

Abstract

Abstract is missing.