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. Robinson, Existential definability in arithmetic, Trans. Am. Math. Soc. 72 (1952).
Tarski, Contributions to the theory of models, Indg. Math. 16 (1954).
A. Robinson, Introduction to model theory and to the metamathematics of algebra, North-Holland, Amsterdam (1963).
M. Davis, H. Putnam and J. Robinson, The decision problem for exponential diophantine equations, Ann. of Math. (2) 74 (1961).
M. O. Rabin, Diophantine equations and non-standard models of arithmetic, Proceedings of the 1960 International Congress in Logic, Methodology and Philosophy of Science, Stanford University Press.
M. O. Rabin, Non standard models and the independence of the induction axiom, Essays on the foundations of mathematics dedicated to A. A. Fraenkel, The Magnes Press, Jerusalem (1961).
Solomon Feferman, Persistent and invariant formulas for outer extensions, Compositio Mathematica 20 (1968) p. 29.
Ju. V. Matijasevič, Enumerable sets are diophantine, Soviet mathematics, vol. 11, number 2 (1970). (Translated from Russian)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1972 Springer-Verlag
About this paper
Cite this paper
Gaifman, H. (1972). A note on models and submodels of arithmetic. In: Hodges, W. (eds) Conference in Mathematical Logic — London ’70. Lecture Notes in Mathematics, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0059542
Download citation
DOI: https://doi.org/10.1007/BFb0059542
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05744-4
Online ISBN: 978-3-540-37162-5
eBook Packages: Springer Book Archive