This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Ax, The elementary theory of finite fields, Ann. of Math. 88 (1968), 239–271.
A. Baker, Transcendental Number Theory, Cambridge University Press, Cambridge 1975.
L. van den Dries and P. Ribenboim, Lefschetz’ principle in Galois theory, Queen’s Mathematics Preprint No. 1976–5.
L. van den Dries, Model Theory of Fields, Dissertation, Utrecht 1978.
L. van den Dries, Which curves over ℤ have points with coordinates in a discrete ordered ring? To appear in Trans. AMS.
S. Lang, Diophantine Geometry, Interscience, New York 1961.
A. Macintyre, Nonstandard number theory, in Proceedings ICM, Helsinki 1978.
A. Robinson and P. Roquette, On the Finiteness Theorem of Siegel and Mahler concerning Diophantine Equations, J. of Number Theory 7 (1975), 121–176.
C. Runge, Ueber ganzzahlige Lösungen von Gleichunger zwischen zwei Veränderlichen, Crelles Journal 100 (1887), 425–435.
J. C. Shepherdson, A Non-standard Model for a Free Variable Fragment of Number Theory, Bull. de l’ Acad. Pol. des Sci. 12 (1964), 79–86.
H. P. F. Swinnerton-Dyer, Two special cubic surfaces, Mathematika 9 (1962), 54–56.
A. J. Wilkie, Some results and problems on weak systems of arithmetic, in Logic Colloquium 77, Ed. by A. Macintyre, L. Pacholski, J. Paris, North-Holland Publ. Co., Amsterdam, pp. 285–296, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag
About this paper
Cite this paper
van den Dries, L. (1980). Some model theory and number theory for models of weak systems of arithmetic. In: Pacholski, L., Wierzejewski, J., Wilkie, A.J. (eds) Model Theory of Algebra and Arithmetic. Lecture Notes in Mathematics, vol 834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090173
Download citation
DOI: https://doi.org/10.1007/BFb0090173
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10269-4
Online ISBN: 978-3-540-38393-2
eBook Packages: Springer Book Archive