Undefinability of truth and nonstandard models Original Research Article

We discuss Robinsonʹs model theoretic proof of Tarskiʹs theorem on undefinability of truth. We present two other “diagonal-free” proofs of Tarskiʹs theorem, and we compare undefinability of truth to other forms of undefinability in nonstandard models of arithmetic.