Some model theory and number theory for models of weak systems of arithmetic

  • Lou van den Dries
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 834)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ax]
    J. Ax, The elementary theory of finite fields, Ann. of Math. 88 (1968), 239–271.MathSciNetCrossRefzbMATHGoogle Scholar
  2. [Ba]
    A. Baker, Transcendental Number Theory, Cambridge University Press, Cambridge 1975.CrossRefzbMATHGoogle Scholar
  3. [v.d.D.,R]
    L. van den Dries and P. Ribenboim, Lefschetz’ principle in Galois theory, Queen’s Mathematics Preprint No. 1976–5.Google Scholar
  4. [v.d.D.1]
    L. van den Dries, Model Theory of Fields, Dissertation, Utrecht 1978.Google Scholar
  5. [v.d.D.2]
    L. van den Dries, Which curves over ℤ have points with coordinates in a discrete ordered ring? To appear in Trans. AMS.Google Scholar
  6. [La]
    S. Lang, Diophantine Geometry, Interscience, New York 1961.zbMATHGoogle Scholar
  7. [Ma]
    A. Macintyre, Nonstandard number theory, in Proceedings ICM, Helsinki 1978.Google Scholar
  8. [R,R]
    A. Robinson and P. Roquette, On the Finiteness Theorem of Siegel and Mahler concerning Diophantine Equations, J. of Number Theory 7 (1975), 121–176.MathSciNetCrossRefzbMATHGoogle Scholar
  9. [Ru]
    C. Runge, Ueber ganzzahlige Lösungen von Gleichunger zwischen zwei Veränderlichen, Crelles Journal 100 (1887), 425–435.MathSciNetzbMATHGoogle Scholar
  10. [Sh]
    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.MathSciNetzbMATHGoogle Scholar
  11. [S-D]
    H. P. F. Swinnerton-Dyer, Two special cubic surfaces, Mathematika 9 (1962), 54–56.MathSciNetCrossRefzbMATHGoogle Scholar
  12. [Wi]
    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.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag 1980

Authors and Affiliations

  • Lou van den Dries
    • 1
  1. 1.Department of MathematicsYale UniversityNew Haven

Personalised recommendations