Article contents
On cofinal extensions of models of arithmetic
Published online by Cambridge University Press: 12 March 2014
Abstract
We study cofinal extensions of models of arithmetic, in particular we show that some properties near to expandability are preserved under cofinal extensions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1983
References
REFERENCES
[1]Gaifman, H., A note on models of arithmetic, Conference on Mathematical Logic, London 70, Lecture Notes in Mathematics, vol. 225, Springer-Verlag, Berlin and New York, 1972.Google Scholar
[2]Kotlarski, H., On Skolem ultrapowers and their non-standard variant, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, Band 26, Heft 3 (1980), pp. 227–236.CrossRefGoogle Scholar
[4]Murawski, R., Expandability of models of Peano arithmetic. I, Studio Logica, vol. 35(1976), pp. 409–419; II, vol. 35 (1976), pp. 420–431; vol. 36 (1977), pp. 181–188.CrossRefGoogle Scholar
(5) Smorynski, C., Recursively saturated nonstandard models of arithmetic, this Journal, vol. 46 (1981), pp. 259–286.Google Scholar
[6]Smorynski, C. and Stavi, J., Cofinal extension preserves recursive saturation (to appear).Google Scholar
- 6
- Cited by