A theorem on permutations in models

Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

William Craig · Journal of Symbolic Logic · 1957 · 672 citations

Humanities, Computer Science, Mathematics +13

On Padoa’s Method in the Theory of Definition

Evert W. Beth · Indagationes Mathematicae (Proceedings) · 1953 · 315 citations

Natural Sciences, Mathematics, Set Theory +3

Arithmetical extensions of relational systems

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

Computing, Computer Science, Mathematics +14

Models of axiomatic theories admitting automorphisms

Andrzej Ehrenfeucht, Andrzej Mostowski · Fundamenta Mathematicae · 1956 · 140 citations · Full text

Humanities, Mathematics, Logic +4

A Result on Consistency and its Application to theTheory of Definition

Abraham Robinson · Indagationes Mathematicae (Proceedings) · 1956 · 56 citations

Computing, Computer Science, Mathematics +10