Dane publikacji
Tom 68
Zeszyt 1
Czasopismo: Bulletin of the Polish Academy of Sciences Mathematics
Strony: 1-10
Data publikacji online: 02.04.2020
Liczba wyświetleń: 0
Liczba pobrań: 0
Wersja elektroniczna
Otwarty dostęp
Abstrakt
We construct via forcing a model for the level by level equivalence between strong compactness and supercompactness in which both $V = {\rm HOD}$ and the Ground Axiom (GA) are true. In our model, various versions of the combinatorial principles $\square $ and $\diamondsuit $ hold. In the model constructed, there are no restrictions on the class of supercompact cardinals.