Concepedia

Admissible Recursion Theory

Admissible Recursion Theory is a branch of mathematical logic that extends classical recursion theory to admissible ordinals, providing a framework for defining recursive functions and hierarchies on nonstandard domains characterized by admissibility conditions.

7

Publications

176

Citations

10

Authors

5

Institutions

Publications per year

2017–2026

0

Parents

Publications

7

Splitting an 𝛼-recursively enumerable set

Richard A. Shore · Transactions of the American Mathematical Society · 1975 · 47 citations · Full text

, , +10

Ordinal machines and admissible recursion theory

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

, , +8

Maximal 𝛼-r.e. sets

Manuel Lerman · Transactions of the American Mathematical Society · 1974 · 24 citations · Full text

, , +10

A universal recursive function on admissible sets

V. A. Rudnev · Algebra and Logic · 1986 · 21 citations

, , +6

Inadmissible recursion theory

Sy D. Friedman, Gerald E. Sacks · Bulletin of the American Mathematical Society · 1977 · 19 citations · Full text

, , +12

1–5 of 7

Authors

10

  1. RA
    Richard A. Shore

    Cornell University, United States

    2 publications · 57 citations

    2

    h-index

  2. GE
    Gerald E. Sacks

    Massachusetts Institute of Technology, United States

    1 publications · 19 citations

    1

    h-index

  3. RE
    Rasmus Ejlers Møgelberg

    IT University of Copenhagen, Denmark

    1 publications · 10 citations

    1

    h-index

  4. PK
    Peter Koepke

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

    1 publications · 45 citations

    1

    h-index

  5. RL
    Rasmus Lerchedahl Petersen

    Microsoft Research (United Kingdom), United Kingdom

    1 publications · 10 citations

    1

    h-index

1–5 of 10

Institutions

5

  1. University of Chicago

    Chicago, United States

    2 h-index

    2 publications

    57 citations

  2. Yale University

    New Haven, United States

    1 h-index

    1 publications

    24 citations

  3. IT University of Copenhagen

    Copenhagen, Denmark

    1 h-index

    1 publications

    10 citations

  4. University of Bonn

    Bonn, Germany

    1 h-index

    2 publications

    90 citations

  5. Cornell University

    Ithaca, United States

    1 h-index

    1 publications

    47 citations

1–5 of 5

Venues

  1. Transactions of the American Mathematical Society

    TRAN · 2 publications · 71 citations

    2

    h-index

  2. Annals of Pure and Applied Logic

    1 publications · 45 citations

    1

    h-index

  3. Algebra and Logic

    1 publications · 21 citations

    1

    h-index

  4. Bulletin of the American Mathematical Society

    1 publications · 19 citations

    1

    h-index

  5. Journal of Symbolic Logic

    1 publications · 10 citations

    1

    h-index

1–5