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
Barwise, K. J., Admissible Sets and Structures, to appear in Springer Verlag series “Perspectives in Mathematical Logic”.
Ehrenfeucht, A., and G. Kreisel, Strong Models of Arithmetic, Bull. de l'Acad. Polonaise des Sciences, XV (1966) pp. 107–110.
Gandy, R. O., G. Kreisel, and Tait, W., Set existence, Bull. Acad. Polon. Ser. Sci. Math. Astron. Phys., 8 (1960) pp. 577–582.
Moschovakis, Y., Predicative classes, Axiomatic set Theory, Part I, Amer. Math. Soc., (1971) pp. 247–264.
Moschovakis, Y., Elementary Induction on Abstract Structures, North Holland Publ. Amsterdam (1974).
Robinson, A., Metamathematical problems, J. Symbolic Logic, 38 (1973) pp. 500–516.
Schlipf, J. S., Some Hyperelementary Aspects of Model Theory, Doctoral Dissertation, The University of Wisconsin, in preparation.
Steal, J., Forcing with tagged trees (abstract), Notices of Amer. Math. Soc. 21 (1974) pp. A627–A628.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Barwise, J., Schlipf, J. (1975). On recursively saturated models of arithmetic. In: Saracino, D.H., Weispfenning, V.B. (eds) Model Theory and Algebra. Lecture Notes in Mathematics, vol 498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0080973
Download citation
DOI: https://doi.org/10.1007/BFb0080973
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07538-7
Online ISBN: 978-3-540-38057-3
eBook Packages: Springer Book Archive