Boolean-valued second-order logic revisited

Following the paper~[3] by V\"{a}\"{a}n\"{a}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 $\omega_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\"{o}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 < \omega$, and that $C^{2b}$ enjoys various nice properties as G\"{o}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.