Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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.
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.
H. Gaifman 1972 A note on models and submodels of arithmetic, in: W. Hodges, ed., Conference in Mathematical Logicâ London â70, Springer-Verlag, Heidelberg.
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.
H. Kotlarski A On elementary recursively saturated cuts in models of Peano arithmetic, to appear.
H. Lesan 1978 Models of arithmetic, dissertation, Manchester.
J. Paris and G. Mills 1979 Closure properties of countable non-standard integers, Fund. Math. 103, pp. 205â215.
A. Robinson 1963 On languages which are based on nonstandard integers, Nagoya Math. J. 22, pp. 83â117.
C. SmoryĆski A Recursively saturated nonstandard models of arithmetic, to appear in JSL.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag
About this paper
Cite this paper
SmoryĆski, C., Stavi, J. (1980). Cofinal extension preserves recursive saturation. In: Pacholski, L., Wierzejewski, J., Wilkie, A.J. (eds) Model Theory of Algebra and Arithmetic. Lecture Notes in Mathematics, vol 834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090172
Download citation
DOI: https://doi.org/10.1007/BFb0090172
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10269-4
Online ISBN: 978-3-540-38393-2
eBook Packages: Springer Book Archive