Combinatorial principles in the core model for one Woodin cardinal

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

The core model

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

The weak □* is really weaker than the full □

Shai Ben-David, Menachem Magidor · Journal of Symbolic Logic · 1986 · 38 citations

Natural Sciences, Mathematics, Discrete Mathematics +6

Jensen's principles and the Novák number of partially ordered sets

Boban Veličković · Journal of Symbolic Logic · 1986 · 24 citations

Natural Sciences, Mathematics, Discrete Mathematics +10