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 paper ''A Nonstandard Model of Arithmetic Constructed by means of Forcing Method'', Zhang Jinwen states the following in his abstract: The first nonstandard model of arithmetic was given by ...

Tl;dr version: there are two natural classes of cuts in the nonstandard model of arithmetic consisting of the Dedekind-finite sets (if, in fact, they constitute such a model); both these classes are ...