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?
Definability in Countable Nonstandard Models of PA
Marcus Dubious
- 21
- 1