Model Theory of Algebra and Arithmetic pp 338-345 | Cite as
Cofinal extension preserves recursive saturation
Conference paper
First Online:
Keywords
Saturated Model Closure Property Peano Arithmetic Nonstandard Model Truth Definition
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- J. Barwise and J. Schlipf 1976 An introduction to recursively saturated and resplendent models, JSL 41, pp. 531–536.MathSciNetMATHGoogle Scholar
- H. Friedman 1973 Countable models of set theories, in: A.R.D. Mathias and H. Rogers, eds., Cambridge Summer School in Mathematical Logic, Springer-Verlag, Heidelberg.Google Scholar
- H. Gaifman 1972 A note on models and submodels of arithmetic, in: W. Hodges, ed., Conference in Mathematical Logic— London ’70, Springer-Verlag, Heidelberg.Google Scholar
- L. Kirby and J. Paris 1977 Initial segments of models of Peano’s axioms, in: A. Lachlan, M. Srebrny, and A. Zarach, eds., Set Theory and Hierarchy Theory V, Springer-Verlag, Heidelberg.Google Scholar
- H. Kotlarski A On elementary recursively saturated cuts in models of Peano arithmetic, to appear.Google Scholar
- H. Lesan 1978 Models of arithmetic, dissertation, Manchester.Google Scholar
- J. Paris and G. Mills 1979 Closure properties of countable non-standard integers, Fund. Math. 103, pp. 205–215.MathSciNetMATHGoogle Scholar
- A. Robinson 1963 On languages which are based on nonstandard integers, Nagoya Math. J. 22, pp. 83–117.MathSciNetCrossRefMATHGoogle Scholar
- C. Smoryński A Recursively saturated nonstandard models of arithmetic, to appear in JSL.Google Scholar
Copyright information
© Springer-Verlag 1980