Concepedia

Core Model Induction

Core Model Induction is a method in set theory that systematically constructs canonical inner models of large cardinal axioms by iteratively analyzing the structure of definable sets and their condensation properties to determine the existence and fine structure of core models below and at the level of a given large cardinal.

23

Publications

1.1K

Citations

51

Authors

23

Institutions

Publications per year

2017–2026

3

Parents

Publications

23

Concentration of urine in a central core model of the renal counterflow system

John L. Stephenson · Kidney International · 1972 · 359 citations · Full text

, , +13

MIRPLib – A library of maritime inventory routing problem instances: Survey, core model, and benchmark results

Dimitri J. Papageorgiou, George L. Nemhauser, Joel Sokol et al. · European Journal of Operational Research · 2013 · 102 citations

, , +13

Combinatorial principles in the core model for one Woodin cardinal

Ernest Schimmerling · Annals of Pure and Applied Logic · 1995 · 94 citations

, , +14

Fly ash reactivity: Extension and application of a shrinking core model and thermodynamic approach

H.J.H. Brouwers, R.J. van Eijk · Journal of Materials Science · 2002 · 66 citations

, , +8

A core model explaining hall effect and resistivity in the mixed state of type II superconductors

C.H. Weijsenfeld · Physics Letters A · 1968 · 43 citations

, , +16

1–5 of 23

Authors

51

  1. JR
    John R. Steel

    University of California, Los Angeles, United States

    3 publications · 66 citations

    3

    h-index

  2. RS
    Ralf Schindler

    University of Münster, Germany

    2 publications · 41 citations

    2

    h-index

  3. GS
    Grigor Sargsyan

    Rutgers, The State University of New Jersey, United States

    2 publications · 26 citations

    2

    h-index

  4. YK
    Yoshiei Kato

    Okayama University, Japan

    1 publications · 41 citations

    1

    h-index

  5. ÖY
    Özlem Yılmaz

    Eskişehir City Hospital, Türkiye

    1 publications · 22 citations

    1

    h-index

1–5 of 51

Institutions

23

  1. University of California, Berkeley

    Berkeley, United States

    3 h-index

    3 publications

    70 citations

  2. Rutgers, The State University of New Jersey

    New Brunswick, United States

    2 h-index

    2 publications

    26 citations

  3. University of Tehran

    Tehran, Iran

    2 h-index

    4 publications

    118 citations

  4. Universitas Pasundan

    Bandung, Indonesia

    1 h-index

    2 publications

    32 citations

  5. Eskişehir City Hospital

    Eskişehir, Turkey

    1 h-index

    2 publications

    44 citations

  6. ExxonMobil (United States)

    Irving, United States

    1 h-index

    3 publications

    306 citations

  7. Nippon Steel (Japan)

    Tokyo, Japan

    1 h-index

    4 publications

    164 citations

  8. Japan Steel Works (Japan)

    Tokyo, Japan

    1 h-index

    1 publications

    41 citations

1–8 of 23

Venues

  1. Journal of Symbolic Logic

    3 publications · 69 citations

    3

    h-index

  2. Annals of Pure and Applied Logic

    3 publications · 135 citations

    3

    h-index

  3. Journal of Mathematical Logic

    1 publications · 15 citations

    1

    h-index

  4. IEEE Transactions on Power Delivery

    1 publications · 41 citations

    1

    h-index

  5. Formal Methods in System Design

    1 publications · 27 citations

    1

    h-index

1–5