Return to Revisions

2 of 3

edited title

edited Apr 23, 2020 at 9:47

63.9k
5
187
286

Definability in countable nonstandard models of Peano arithmetic

I know that every element of $\mathbb{N}$ is definable the standard model of Peano Arithmetic. Does there exist a countable non-standard model of PA where the same is true?

asked Apr 23, 2020 at 7:56

Marcus Dubious