Vol. 46, No. 2, 1973

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 307: 1  2
Vol. 306: 1  2
Vol. 305: 1  2
Vol. 304: 1  2
Vol. 303: 1  2
Vol. 302: 1  2
Vol. 301: 1  2
Vol. 300: 1  2
Online Archive
The Journal
Editorial Board
Submission Guidelines
Submission Form
Policies for Authors
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author Index
To Appear
Other MSP Journals
Peano models with many generic classes

James Henry Schmerl

Vol. 46 (1973), No. 2, 523–536

The famous theorem of MacDowell and Specker asserts that every model of Peano arithmetic has a proper elementary end-extension. A consequence of their theorem (and its proof) is that every model of Peano arithmetic of cardinality less than κ has a κ-like elementary end-extension, and, in addition, if κ is regular, then there is such a κ-like model in which all classes are definable. However, under the assumption of the existence of a κ-Kurepa tree, each model of Peano arithmetic of cardinality less than κ does have a κ-like elementary end-extension in which there are more than κ generic classes.

Mathematical Subject Classification
Primary: 02H20
Received: 22 December 1971
Revised: 10 July 1972
Published: 1 June 1973
James Henry Schmerl