The Mathematical Intelligencer

, Volume 28, Issue 4, pp 67–71 | Cite as

The birth of model theory: Lowenheim’s theorem in the frame of the theory of relatives

  • Jeremy Avigad


Normal Form Countable Model Completeness Theorem Logical Positivist Skolem Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    George Boole.The Mathematical Analysis of Logic. Barclay and Macmillan, Cambridge, 1847. Reprinted in [2], volume 1, pages 451-509.Google Scholar
  2. [2]
    William Ewald, editor.From Kant to Hilbert: A Source Book in the Foundations of Mathematics, two volumes. Clarendon Press, Oxford, 1996.zbMATHGoogle Scholar
  3. [3]
    Kurt Godei.Collected Works, volume 1. Solomon Fefermanet al., eds. Oxford University Press, New York, 1986.Google Scholar
  4. [4]
    Wilfried Sieg. Hubert’s programs: 1917-1922.Bulletin of Symbolic Logic 5:1–44, 1999.CrossRefzbMATHMathSciNetGoogle Scholar
  5. [5]
    Jean van Heijenoort.From Frege to Gödei: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press, Cambridge, Massachusetts, 1967.zbMATHGoogle Scholar

Copyright information

© Springer Science + Business Media, Inc 2005

Authors and Affiliations

  • Jeremy Avigad

There are no affiliations available

Personalised recommendations