The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond

Autorzy

Dane publikacji

  • DOI: 10.4064/ba180529-14-3

  • 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.