Automorphisms of models of arithmetic: A unified view

Some applications of iterated ultrapowers in set theory

Kenneth Kunen · Annals of Mathematical Logic · 1970 · 255 citations

Natural Sciences, Mathematics, Set Theory +9

A Combinatorial Theorem

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

Models and types of Peano's arithmetic

Haim Gaifman · Annals of Mathematical Logic · 1976 · 87 citations

Computing, Computer Science, Mathematics +10

Toward model theory through recursive saturation

John S. Schlipf · Journal of Symbolic Logic · 1978 · 48 citations

Humanities, Computer Science, Mathematics +9

Automorphisms of recursively saturated models of arithmetic

Richard Kaye, Roman Kossak, Henryk Kotlarski · Annals of Pure and Applied Logic · 1991 · 45 citations

Natural Sciences, Computer Science, Mathematics +9