The model-theoretic assertion M(C,S)\mathbf{M}(C,S)M(C,S) in N2ω\mathcal{N}_{\mathbf{2}^{\omega}}N2ω
Let M(C,S)\mathbf{M}(C,S)M(C,S) be the statement under consideration, and let N2ω\mathcal{N}_{\mathbf{2}^{\omega}}N2ω denote the model of set theory constructed from 2ω\mathbf{2}^{\omega}2ω. The c…