American Postulate Theorists and Alfred Tarski

This article outlines the work of a group of US mathematicians called the American Postulate Theorists and their influence on Tarski's work in the 1930s that was to be foundational for model theory. The American Postulate Theorists were influenced by the European foundational work of the period around 1900, such as that of Peano and Hilbert. In the period roughly from 1900 – 1940, they developed an indigenous American approach to foundational investigations. This made use of interpretations of precisely formulated axiomatic theories to prove such metatheoretic properties as independence, consistency, categoricity and, in some cases, completeness of axiom sets. This approach to foundations was in many respects similar to that later taken by Tarski, who frequently cites the work of American Postulate Theorists. Their work served as paradigm examples of the theories and concepts investigated in model theory. The article also examines the possibility of a more specific impetus to Tarski's model theoretic investigation, arising from his having studied in 1927 – 1929 a paper by C. H. Langford proving completeness for various axiom sets for linear orders. This used the method of elimination of quantifiers. The article concludes with an examination of one example of Langford's methods to indicate how their correct formulation seems to call for model-theoretic concepts.

[1]  H. T. H. P. Einleitung in die Mengenlehre , 1929, Nature.

[2]  Karen Hunger Parshall,et al.  Eliakim Hastings Moore and the founding of a mathematical community in America, 1892–1902 , 1984 .

[3]  E. V. Huntington A set of postulates for abstract geometry, expressed in terms of the simple relation of inclusion , 1913 .

[4]  John Corcoran Gaps between Logical Theory and Mathematical Practice , 1973 .

[5]  Alejandro Ricardo,et al.  Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’ , 1991 .

[6]  The known and unknown H.M. Sheffer , 2000 .

[7]  A. R. Turquette,et al.  Logic, Semantics, Metamathematics , 1957 .

[8]  L. M.-T. Grundzüge der theoretischen Logik , 1929, Nature.

[9]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[10]  D. Hilbert,et al.  Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen , 2009 .

[11]  Mojżesz Presburger,et al.  On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation , 1991 .

[12]  Michael Scanlan Who Were the American Postulate Theorists , 1991, J. Symb. Log..

[13]  G. L. Collected Papers , 1912, Nature.

[14]  Steve Awodey,et al.  Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic , 2002 .

[15]  Gottlob Frege,et al.  Philosophical and mathematical correspondence , 1980 .

[16]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[17]  C. H. Langford Theorems on Deducibility , 1926 .

[18]  A. Tarski,et al.  Sur les ensembles définissables de nombres réels , 1931 .

[19]  Alfred Tarski,et al.  Tarski's System of Geometry , 1999, Bulletin of Symbolic Logic.

[20]  Jens Erik Fenstad,et al.  Selected works in logic , 1970 .

[21]  A. Tarski A Decision Method for Elementary Algebra and Geometry , 2023 .

[22]  Ivor Grattan-Guinness The Search for Mathematical Roots, 1870-1940 , 2000 .

[23]  C. H. Langford Some Theorems on Deducibility , 1926 .

[24]  G. M. Grundlagen der Geometrie , 1909, Nature.

[25]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[26]  Robert L. Vaught,et al.  Alfred Tarski's work in model theory , 1986, Journal of Symbolic Logic.

[27]  E. V. Huntington,et al.  The Continuum and Other Types of Serial Order. , 1917 .

[28]  Alfred Tarski,et al.  Introduction to Logic and to the Methodology of Deductive Sciences , 1943 .

[29]  W. Hodges Elementary Predicate Logic , 1983 .

[30]  E. V. Huntington Sets of independent postulates for the algebra of logic , 1904 .

[31]  Alfred Tarski,et al.  A General Theorem Concerning Primitive Notions of Euclidean Geometry , 1956 .