Annals of Mathematical Logic

The fine structure of the constructible hierarchy

Ronald Björn Jensen · 1972 · 672 citations

Architectural Design, Mathematical Structure, Engineering +5

Internal cohen extensions

Donald A. Martin, R. M. Solovay · 1970 · 442 citations

Internal Cohen Extensions, Abstract Algebra, Universal Algebra +1

Logic with the quantifier “there exist uncountably many”

H. Jerome Keisler · 1970 · 270 citations

Quantifier “, Automated Reasoning, Philosophy Of Logic +2

Strong axioms of infinity and elementary embeddings

Robert M Solovay, William N. Reinhardt, Akihiro Kanamori · 1978 · 268 citations

Infinite Dimensional Analysis, Strong Axioms, Set-theoretic Topology +1

Some applications of iterated ultrapowers in set theory

Kenneth Kunen · 1970 · 255 citations

Iterated Ultrapowers, Extremal Set Theory, Model Theory