Concepedia

Ordinal Recursion

Ordinal Recursion is a recursive method in set theory that defines functions on ordinal numbers by specifying their values at each ordinal in terms of the values at preceding ordinals, uniquely determined by transfinite induction.

28

Publications

709

Citations

36

Authors

34

Institutions

Publications per year

2017–2026

1

Parents

Publications

28

A new system of proof-theoretic ordinal functions

Wilfried Buchholz · Annals of Pure and Applied Logic · 1986 · 71 citations · Full text

, , +12

The Ordinal Recursive Complexity of Lossy Channel Systems

Pierre Chambart, Ph. Schnoebelen · Proceedings - Symposium on Logic in Computer Science · 2008 · 59 citations

, , +11

Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy

Stanley S. Wainer · Journal of Symbolic Logic · 1972 · 49 citations

, , +13

Ordinal machines and admissible recursion theory

Peter Koepke, Benjamin Seyfferth · Annals of Pure and Applied Logic · 2009 · 45 citations

, , +8

On the recursive functions of ordinal numbers.

Gaisi Takeuti · Journal of the Mathematical Society of Japan · 1960 · 37 citations · Full text

, , +13

1–5 of 28

Authors

36

  1. TA
    Toshiyasu Arai

    Hiroshima University, Japan

    4 publications · 79 citations

    4

    h-index

  2. SS
    Stanley S. Wainer

    University of Leeds, United Kingdom

    3 publications · 105 citations

    3

    h-index

  3. PK
    Peter Koepke

    Ludwig-Maximilians-Universität München, Germany

    1 publications · 45 citations

    1

    h-index

  4. AW
    Andreas Weiermann

    University of Münster, Germany

    1 publications · 10 citations

    1

    h-index

  5. SD
    Sy D. Friedman

    University of Vienna, Austria

    1 publications · 11 citations

    1

    h-index

1–5 of 36

Institutions

34

  1. University of Leeds

    Leeds, United Kingdom

    3 h-index

    4 publications

    128 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    6 publications

    253 citations

  3. Hiroshima University

    Hiroshima, Japan

    2 h-index

    2 publications

    29 citations

  4. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    2 h-index

    5 publications

    223 citations

  5. Kobe University

    Kobe, Japan

    2 h-index

    2 publications

    50 citations

  6. University of Illinois Chicago

    Chicago, United States

    2 h-index

    2 publications

    33 citations

  7. Rutgers, The State University of New Jersey

    New Brunswick, United States

    1 h-index

    1 publications

    12 citations

  8. The King's College

    New York, United States

    1 h-index

    1 publications

    15 citations

1–8 of 34

Venues

  1. Journal of Symbolic Logic

    8 publications · 186 citations

    8

    h-index

  2. Annals of Pure and Applied Logic

    4 publications · 163 citations

    4

    h-index

  3. Archive for Mathematical Logic

    2 publications · 49 citations

    2

    h-index

  4. Information and Computation

    2 publications · 42 citations

    2

    h-index

  5. Journal of the Mathematical Society of Japan

    2 publications · 47 citations

    2

    h-index

1–5