Completeness of calculii for axiomatically defined classes of algebras

On the Structure of Abstract Algebras

Garrett Birkhoff · Mathematical Proceedings of the Cambridge Philosophical Society · 1935 · 966 citations

Natural Sciences, Mathematics, Algebra +2

The completeness of the first-order functional calculus

Leon Henkin · Journal of Symbolic Logic · 1949 · 537 citations

Humanities, Computer Science, Mathematics +9

The decision problem for some classes of sentences without quantifiers

J. C. C. McKinsey · Journal of Symbolic Logic · 1943 · 213 citations

Humanities, Computer Science, Mathematics +8

Alfred Tarski. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 572–588, and vol. 58 (1955), pp. 56–64; also <i><b>Indagationes mathematicae</b></i>, vol. 16 (1954), pp. 572–588, and vol. 17 (1955), pp. 56–64.

Elie Cogan · Journal of Symbolic Logic · 1956 · 206 citations

Natural Sciences, Mathematics, Mathematical Physics +5

Contributions to the Theory of Models. I

Alfred Tarski · Indagationes Mathematicae (Proceedings) · 1954 · 189 citations

Natural Sciences, Physics, Stochastic Processes +5