References
K. R. Apt, W. Marek,Second order arithmetic and related topics,Annals of Mathematical Logic, Vol. 6 (1974), pp. 177–229.
K. J. Barwise,Admissible sets over models of set theory, inGeneralized recursion theory, ed. by J. E. Fenstad, P. G. Hinman, North Holland Publ. Comp. 1974, pp. 97–122.
K. J. Barwise, J. Schlipf,On recursively saturated models of arithmetic (mimeographed).
C. C. Chang, H. J. Keisler,Model theory, North Holland Publ. Comp. 1973.
A. Ehrenfeucht, G. Kreisel,Strong models of arithmetic,Bulletin de l'Académie Polonaise des Sciences,Serie des sci. math., astr. et phys., Vol. 14 (1966), pp. 107–110.
S. Feferman,Arithmetization of metamathematics in a general setting,Fundamenta Mathematicae, Vol. 59 (1960), pp. 35–92.
S. Krajewski,Predicative expansions of axiomatic theories,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 20 (1974), pp. 435–452.
A. Mostowski,Remark on models of Gödel-Bernays set theory, to appear.
H. Rogers, Jr.,Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.
J. R. Shoenfield,Mathematical logic, Addison-Wesley Publ. Comp., 1967.
Author information
Authors and Affiliations
Additional information
To the memory of Professor Andrzej Mostowski
Allatum est die 2 Februarii 1976
Rights and permissions
About this article
Cite this article
Murawski, R. On expandability of models of Peano arithmetic. I. Stud Logica 35, 409–419 (1976). https://doi.org/10.1007/BF02123406
Issue Date:
DOI: https://doi.org/10.1007/BF02123406