All Questions

(This question was originally asked and bountied at MSE - with different notation, some more explicit arguments, and topology in place of forcing.) Suppose $\mathcal{R}=(R_i)_{i\in\mathbb{N}}$ is a ...

In the thread Even Xor Odd Infinities I defined odd models of Modular Arithmetic (MA) as models satisfying the axioms of MA and two first order statements. Even XOR Odd Infinities? $O1) \forall x(x=0 ...