Premium
Strong Compactness and a Global Version of a Theorem of Ben‐David and Magidor
Author(s) -
Apter Arthur W.
Publication year - 2000
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200010)46:4<453::aid-malq453>3.0.co;2-e
Subject(s) - compact space , mathematics , context (archaeology) , construct (python library) , pure mathematics , limit (mathematics) , calculus (dental) , mathematical analysis , computer science , history , medicine , archaeology , dentistry , programming language
Starting with a model in which κ is the least inaccessible limit of cardinals δ which are δ + strongly compact, we force and construct a model in which κ remains inaccessible and in which, for every cardinal γ < κ , □ γ + ω fails but □ γ + ω , ω holds. This generalizes a result of Ben‐David and Magidor and provides an analogue in the context of strong compactness to a result of the author and Cummings in the context of supercompactness.