Prime models
Richard W. Kaye · 1991
Abstract If T is a complete consistent extension of PA there is a ‘smallest’ model of T having some very pleasant features. This chapter is about these models and the various ways in which they can be regarded as ‘small’. Section 8.2 contains an application (the famous MacDowell-Specker theorem) showing that any countable model of PA has an elementary end-extension.