MW: I ended the last post with a puzzle. Here it is again, in more detail.
Monthly Archives: February 2023
Nonstandard Models of Arithmetic 27
MW: Enayat’s second major result is:
Theorem 7: Every countable recursively saturated model of PA+ΦT is a T-standard model of PA.
Filed under Conversations, Peano Arithmetic
Diagonal Argument 