Questions tagged [nonstandard-models]

For questions specifically concerning models of arithmetic (which could be Peano Arithmetic, the first-order theory of the natural numbers, or some other system) which differs from the standard model by the existence of nonstandard numbers.

A non-standard model of arithmetic is, usually, a model of (first-order) Peano Arithmetic which differs from the standard model $\mathbb{N}$, specifically by containing nonstandard numbers. As the standard numbers $0,1,2,\ldots$ are an initial segment of every model of Peano Arithmetic, these nonstandard numbers must be greater than every standard number.

166 questions
1
vote
1 answer

Constructing an infinitely large natural number such that it is not divisible by any number $n \in \mathbb{N}_{>1}$

Apparently, we can use compactness theorem to construct an infinitely large natural number such that it is not divisible by any (standard) natural number $n \in \mathbb{N}_{>1}$. And I must say that I have no idea how to do this. I have seen the…
Vicky
  • 891
0
votes
0 answers

Why doesn't the transfer-principle hold for the following statement?

Let $\hat{V}$ be the standard universe constructed as $ \hat{V} = V_0\cup V_1 \cup V_2 \cup ....$ where $V_0$ is the set of primary elements and $V_{v+1} := V_v \cup P(V_v)$ For the following (failed) proof we assume $V_0 = \mathbb{N}$. Given…
Sudix
  • 3,630