First order theory of permutation groups

Decidability of second-order theories and automata on infinite trees.

Michael O. Rabin · Transactions of the American Mathematical Society · 1969 · 1.2K citations · Full text

Computing, Computer Science, Mathematics +13

Intersection Theorems for Systems of Sets

P. Erdös, R. Rado · Journal of the London Mathematical Society · 1960 · 638 citations

Natural Sciences, Mathematics, Combinatorics +8

The first order properties of products of algebraic systems

Solomon Feferman, Robertl. Vaught · Fundamenta Mathematicae · 1959 · 488 citations · Full text

Natural Sciences, Computer Science, Mathematics +8

Partition relations for cardinal numbers

Péter L. Erdős, A. Hajnal, R. Rado · Acta Mathematica Academiae Scientiarum Hungaricae · 1965 · 310 citations

Natural Sciences, Computer Science, Mathematics +13

Intersection Theorems for Systems of Sets (II)

P. Erdös, R. Rado · Journal of the London Mathematical Society · 1969 · 43 citations

Natural Sciences, Computer Science, Mathematics +10