Title of the course: Introduction to nonstandard models of arithmetic
Instructor: Prof. Roman Kossak
Institution: City University of New York
Dates: 11-24 September 2016
Level: Graduate, advanced undergraduate
Abstract: I will give a short introduction to the model theory of arithmetic with the aim of outlining a model theoretic proof of Tarski's Undefinability of Truth theorem, and deriving Godel's first incompleteness theorem from it. The pace will be slow and all necessary background will be provided. If time permits I will also talk about automorphism groups of models of arithmetic.