Denumerable models of complete theories

Applications of the theory of Boolean rings to general topology

M. H. Stone · Transactions of the American Mathematical Society · 1937 · 1.1K citations

Natural Sciences, Computer Science, Mathematics +11

The completeness of the first-order functional calculus

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

Humanities, Computer Science, Mathematics +9

Arithmetical extensions of relational systems

Alfred Tarski, Robert L. Vaught · French digital mathematics library (Numdam) · 1958 · 296 citations

Computing, Computer Science, Mathematics +14

Universal relational systems

Bjàrni Jónsson · MATHEMATICA SCANDINAVICA · 1956 · 185 citations · Full text

Homogeneous Universal Relational Systems.

Bjàrni Jónsson · MATHEMATICA SCANDINAVICA · 1960 · 181 citations · Full text

Natural Sciences, Mathematics, Set Theory +3