Boolean-valued second-order logic revisited

Abstract

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 $\ddot{I}{‰}_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<\ddot{I}‰$, 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.