Hostname: page-component-7c8c6479df-p566r Total loading time: 0 Render date: 2024-03-29T05:05:31.882Z Has data issue: false hasContentIssue false

On cofinal extensions of models of arithmetic

Published online by Cambridge University Press:  12 March 2014

Henryk Kotlarski*
Affiliation:
Instytut Zastosowań Matematyki I Statystyki, SGGW-AR, UL. Nowoursynowska 166, 02–76 6 Warszawa, Poland

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
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

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. 227236.CrossRefGoogle Scholar
[3]Lessan, H., On models of arithmetic, Doctoral thesis, Manchester, 1978.Google Scholar
[4]Murawski, R., Expandability of models of Peano arithmetic. I, Studio Logica, vol. 35(1976), pp. 409419; 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. 259286.Google Scholar
[6]Smorynski, C. and Stavi, J., Cofinal extension preserves recursive saturation (to appear).Google Scholar