Abstract:
In 1963 Abraham Robinson gave a model theoretic proof of Tarski's
theorem on undefinability of truth. In the talk I will discuss Robinson's
proof and some of its consequences. I will also talk about other
aspects of undefinability over nonstandard models of arithmetic
(forcing, strong undefinability of automorphisms), and I will state
some open problems.