Models of Arithmetic and Independence Results

The Paris–Harrington variant of Ramsey’s Theorem is proved independent of Peano Arithmetic by model theoretic methods. As a warm-up, we give model theoretic arguments bounding the growth rates of provably total computable functions in weak fragments of arithmetic. We conclude with a brief survey of some of the core results on models of arithmetic.