The core model for almost linear iterations

The fine structure of the constructible hierarchy

Ronald Björn Jensen · Annals of Mathematical Logic · 1972 · 681 citations

Computing, Computer Science, Mathematics +10

The core model for sequences of measures. I

William J. Mitchell · Mathematical Proceedings of the Cambridge Philosophical Society · 1984 · 131 citations

Natural Sciences, Mathematics, Discrete Mathematics +12

Inner Models and Large Cardinals

Ronald Björn Jensen · Bulletin of Symbolic Logic · 1995 · 87 citations

Natural Sciences, Mathematics, Number Theory +12

The core model

A. Dodd, Ronald Björn Jensen · Annals of Mathematical Logic · 1981 · 69 citations

The covering lemma up to a Woodin cardinal

William J. Mitchell, Ernest Schimmerling, John R. Steel · Annals of Pure and Applied Logic · 1997 · 51 citations

Natural Sciences, Mathematics, Set Theory +6