In recursion theory, α recursion theory is a generalisation of recursion theory to subsets of admissible ordinals . An admissible ordinal is closed… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

- Peter Koepke, Benjamin Seyfferth
- Ann. Pure Appl. Logic
- 2009

We generalize standard Turing machines working in time ω on a tape of length ω to abstract machines with time α and tape length… (More)

Is this relevant?

2009

2009

α-recursion lifts classical recursion theory from the first transfinite ordinal ω to an arbitrary admissible ordinal α [13… (More)

Is this relevant?

1992

1984

1973