Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2504.12602 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Table des matières:
- Following the paper~[3] by Väänänen and the author, we continue to investigate on the difference between Boolean-valued second-order logic and full second-order logic. We show that the compactness number of Boolean-valued second-order logic is equal to $ω_1$ if there are proper class many Woodin cardinals. This contrasts the result by Magidor~[10] that the compactness number of full second-order logic is the least extendible cardinal. We also introduce the inner model $C^{2b}$ constructed from Boolean-valued second-order logic using the construction of Gödel's Constructible Universe L. We show that $C^{2b}$ is the least inner model of $\mathsf{ZFC}$ closed under $\mathrm{M}_n^{\#}$ operators for all $n < ω$, and that $C^{2b}$ enjoys various nice properties as Gödel's L does, assuming that Projective Determinacy holds in any set generic extension. This contrasts the result by Myhill and Scott~[14] that the inner model constructed from full second-order logic is equal to HOD, the class of all hereditarily ordinal definable sets.