Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-25T19:34:53.144Z Has data issue: false hasContentIssue false

Full Satisfaction Classes and Recursive Saturation

Published online by Cambridge University Press:  20 November 2018

A. H. Lachlan*
Affiliation:
Simon Fraser UniversityBurnaby 2, B.C. V5A 1S6
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

It is shown that a nonstandard model of Peano arithmetic which has a full satisfaction class is necessarily recursively saturated.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1981

References

1. Kotlarski, H., Krajewski, S., and Lachlan, A. H.. Construction of satisfaction classes for nonstandard models, this volume, pp.Google Scholar
2. Krajewski, S.. Non-standard satisfaction classes. Set Theory and Hierarchy Theory, Lecture Notes in Mathematics vol. 537, Springer, Berlin 1976, pp. 121-145.Google Scholar
3. MacDowell, R. and Specker, E., Modelle der Arithmetik, Infinitistic Methods, Panstwowe Wydawnictwo Naukowe, Warsaw 1961, pp. 257-263.Google Scholar
4. Schlipf, J.. Toward model theory through recursive saturation, J. Symb. Logi. 43 (1978), pp. 183-203.Google Scholar