Concepedia

Inner Model Theory

Inner Model Theory is a branch of set theory that studies canonical inner models of axiomatic set theory, distinguished by their fine structural analysis of large cardinal hypotheses and their role in establishing consistency strength hierarchies.

73

Publications

2.5K

Citations

65

Authors

59

Institutions

Publications per year

2017–2026

3

Parents

Children

Publications

73

The core model for sequences of measures. I

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

, , +12

Sets constructible from sequences of ultrafilters

William J. Mitchell · Journal of Symbolic Logic · 1974 · 109 citations

, , +8

Slim models of Zermelo set theory

A. R. D. Mathias · Journal of Symbolic Logic · 2001 · 96 citations

, , +6

Inner Models and Large Cardinals

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

, , +12

Inner models with many Woodin cardinals

John R. Steel · Annals of Pure and Applied Logic · 1993 · 82 citations

, , +6

1–5 of 73

Authors

65

  1. JR
    John R. Steel

    University of California, Los Angeles, United States

    9 publications · 463 citations

    9

    h-index

  2. WH
    W. Hugh Woodin

    University of California, Berkeley, United States

    6 publications · 256 citations

    6

    h-index

  3. ES
    Ernest Schimmerling

    Carnegie Mellon University, United States

    5 publications · 148 citations

    5

    h-index

  4. JD
    Joel David Hamkins

    City University of New York, United States

    4 publications · 74 citations

    4

    h-index

  5. RS
    Ralf Schindler

    University of Münster, Germany

    4 publications · 86 citations

    4

    h-index

1–5 of 65

Institutions

59

  1. University of California, Los Angeles

    Los Angeles, United States

    9 h-index

    9 publications

    384 citations

  2. University of California, Berkeley

    Berkeley, United States

    8 h-index

    9 publications

    313 citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    5 h-index

    6 publications

    126 citations

  4. University of Vienna

    Vienna, Austria

    4 h-index

    6 publications

    165 citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    4 publications

    101 citations

  6. University of Bristol

    Bristol, United Kingdom

    4 h-index

    4 publications

    153 citations

  7. Hebrew University of Jerusalem

    Jerusalem, Israel

    4 h-index

    4 publications

    96 citations

  8. Rutgers, The State University of New Jersey

    New Brunswick, United States

    3 h-index

    3 publications

    79 citations

1–8 of 59

Venues

  1. Journal of Symbolic Logic

    29 publications · 999 citations

    20

    h-index

  2. Bulletin of Symbolic Logic

    11 publications · 451 citations

    11

    h-index

  3. Annals of Pure and Applied Logic

    5 publications · 245 citations

    5

    h-index

  4. Transactions of the American Mathematical Society

    TRAN · 4 publications · 110 citations

    4

    h-index

  5. Mathematical Research Letters

    MRL · 3 publications · 122 citations

    3

    h-index

1–5