Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have