Skip to main content
SpringerLink
Log in

Problems and Methods of Model Theory

  • Chapter
Aspects of Mathematical Logic

Part of the book series: C.I.M.E. Summer Schools ((CIME,volume 48))

  • 711 Accesses

Abstract

1. Introduction, Over the last century, the axiomatic approach has pervaded Mathematics. According to this approach, a mathematical discipline starts from a specified list of conditions or axioms, which are concerned with a set of basic notions, otherwise undefined. The discipline then consists of a detailed investigation of the structures which are models of, i.e. which satisfy, the system of axioms in question. In order that such structures may be assumed to exist, it is necessary that the given set of axioms be devoid of contradictions and this is proved either absolutely, or relative to another system, which is itself supposed to be devoid of contradiction, or else it is simply assumed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. J. Ax and S. Kochen, Diophantine problems over local fields, I, II, American Journal of Mathematics, vol. 87, 1965, pp. 605–630, 631–643.

    Article  MathSciNet  MATH  Google Scholar 

  2. —— Diophantine problems over local fields: III, Decidable fields, Annals of Mathematics, vol. 83, 1966, pp. 437–456.

    Article  MathSciNet  Google Scholar 

  3. Paul J. Cohen, Decision procedures for real and p-adic fields, Stanford University, 1967 (mimeographed).

    Google Scholar 

  4. R. J. Fraïssé, Sur quelques classifications des relations basées sur des isoraorphismes restreints, I. Etude générale. II Applications aux relations d'ördre, Algers-Mathématiques, vol. 2, 1955, pp. 16–60, 273–295.

    Google Scholar 

  5. T. Frayne, D. C. Morel, and D. S. Scott, Reduced direct products, Fundamenta Mathematicae, vol. 51, 1962, pp. 195– 227.

    MathSciNet  Google Scholar 

  6. L. Henkin, Completeness in the theory of types, Journal of Symbolic Logic, vol. 15, 1950, pp. 81–91.

    Article  MathSciNet  MATH  Google Scholar 

  7. I. Kaplansky, Maximal fields with valuations, Duke Mathematical Journal, vol. 9, 1942,

    Google Scholar 

  8. H. J. Keisler Ultraproducts and Elementary classes, Proceeding of the Royal Academy of Sciences, Amsterdam, ser.A, vol. 64, 1962, pp. 477–495.

    Google Scholar 

  9. S. Kochen, Ultraproducts in the theory of models, Annals of Mathematics, ser. 2, vol. 79, 1961, pp. 221–261.

    Article  MathSciNet  Google Scholar 

  10. G. Kreisel and J. L. Krivine, Eléments de Logique Mathématique, Théorie des Modèles, Paris, 1967

    MATH  Google Scholar 

  11. S. Lang, On quasi-algebraic closure, Annals of Mathematics, ser. 2, vol. 55, 1952, pp. 373–390.

    Article  MathSciNet  Google Scholar 

  12. J. Łos, Quelques remarques, théorèmes, et problèmes sur les classes définis.:ables d'algebres, Mathematical Interpretation of Formal Systems, Amsterdam 1955, pp. 98–113.

    Google Scholar 

  13. A. I. Malcev Untersuchungen aus dem Gebiete der Mathematischen Logik, Matematicheskii Sbornik, vol. 1 (43), 1936, pp. 323–335.

    Google Scholar 

  14. ——, On a general method for obtaining local theorems in group theory, Notices of the Pedagogical Institute of Ivanovo, Physical-Mathematical Sciences, vol. 1, pp. 3–9 (in Russian).

    Google Scholar 

  15. A. Mostowski, On models of axiomatic systems, Fundamenta Mathematicae, vol. 39, 1952, pp. 133–157.

    MathSciNet  Google Scholar 

  16. A. Robinson, Complete Theories, Amsterdam, 1956.

    MATH  Google Scholar 

  17. —— Introduction to Model Theory and to the Metamathematics of Algebra, Amsterdam 1963.

    MATH  Google Scholar 

  18. —— Non-standard Analysis, Amsterdam, 1966.

    MATH  Google Scholar 

  19. —— Non-standard Theory of Dedekind rings, Proceedings of the Royal Academy of Sciences, Amsterdam, ser. A, vol. 70, 1967, pp. 444–452.

    Google Scholar 

  20. A. Tarski Some notions on the borderline of algebra and Metamathematics, Proceedings of the International Congress of Mathematicians (Cambridge, U.S.A., 1950) 1952, vol. 1, pp. 705–720.

    Google Scholar 

  21. —— Contributions to the theory or models, Proceedings of the Royal Academy of Sciences, Amsterdam, ser. a., vol. 57, pp. 572–581,582–588, vol. 58, pp. 56–64.

    Google Scholar 

  22. Y. L. Yershov, On the elementary theory of local fields, Algebra i Logika, vol. 4, fasc. 2, 1965, pp. 5–30 (in Russian).

    MathSciNet  Google Scholar 

  23. Y. L. Yershov, On the elementary theory of maximal normal fields, Algebra i Logika, vol. 4, fasc. 3, 1965, pp. 31–70.

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Yale University, Connecticut, USA

    Abraham Robinson

Authors
  1. Abraham Robinson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

E. Casari (Coordinator)

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Robinson, A. (2010). Problems and Methods of Model Theory. In: Casari, E. (eds) Aspects of Mathematical Logic. C.I.M.E. Summer Schools, vol 48. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11080-1_4

Download citation

Publish with us

Policies and ethics

Search

Navigation