Concepedia

Strong Reflection Principles

Strong Reflection Principles is a theoretical framework in mathematical logic that asserts the existence of elementary substructures of the universe of sets satisfying certain first-order properties, thereby enabling the derivation of large cardinal axioms from principles of reflection that surpass weaker forms in logical strength and ontological commitment.

23

Publications

838

Citations

50

Authors

29

Institutions

Publications per year

2017–2026

2

Parents

Publications

23

Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

G. Kreisel, Amit Levy · Mathematical logic quarterly · 1968 · 146 citations

, , +14

Coherent reflection as superradiation from the boundary of a resonant medium

M. G. Benedict, E. D. Trifonov · Physical review. A, General physics · 1988 · 81 citations

, , +14

SET MAPPING REFLECTION

Justin Tatch Moore · Journal of Mathematical Logic · 2005 · 68 citations · Full text

, , +9

Reflection principles in computational logic

Journal of Logic and Computation · 2000 · 60 citations

, , +12

Induction rules, reflection principles, and provably recursive functions

Lev D. Beklemishev · Annals of Pure and Applied Logic · 1997 · 57 citations

, , +16

1–5 of 23

Authors

50

  1. LH
    Leon Horsten

    University of Bristol, United Kingdom

    2 publications · 44 citations

    2

    h-index

  2. AL
    Amit Levy

    Stanford University, United States

    2 publications · 188 citations

    2

    h-index

  3. SR
    Stephan Ruscheweyh

    University of Würzburg, Germany

    1 publications · 25 citations

    1

    h-index

  4. BC
    Benjamin Claverie

    University of Münster, Germany

    1 publications · 28 citations

    1

    h-index

  5. JJ
    Jianjun Jiang

    Huazhong University of Science and Technology, China

    1 publications · 53 citations

    1

    h-index

1–5 of 50

Institutions

29

  1. Uppsala University

    Uppsala, Sweden

    1 h-index

    1 publications

    60 citations

  2. Helsinki Institute of Physics

    Helsinki, Finland

    1 h-index

    1 publications

    23 citations

  3. University of Sussex

    Brighton, United Kingdom

    1 h-index

    2 publications

    86 citations

  4. Steklov Mathematical Institute

    Moscow, Russia

    1 h-index

    1 publications

    57 citations

  5. Alfréd Rényi Institute of Mathematics

    Budapest, Hungary

    1 h-index

    2 publications

    36 citations

  6. Pennsylvania State University

    State College, United States

    1 h-index

    1 publications

    31 citations

  7. Hiroshima University

    Hiroshima, Japan

    1 h-index

    1 publications

    23 citations

  8. At Bristol

    Bristol, United Kingdom

    1 h-index

    1 publications

    13 citations

1–8 of 29

Venues

  1. Mathematical logic quarterly

    MLQ · 3 publications · 180 citations

    3

    h-index

  2. Annals of Pure and Applied Logic

    3 publications · 85 citations

    3

    h-index

  3. Journal of Symbolic Logic

    2 publications · 39 citations

    2

    h-index

  4. Journal of Logic and Computation

    2 publications · 73 citations

    2

    h-index

  5. IEEE Antennas and Wireless Propagation Letters

    AWPL · 1 publications · 53 citations

    1

    h-index

1–5