Skip to search formSkip to main contentSkip to account menu

Alpha recursion theory

Known as: Alpha recursion 
In recursion theory, α recursion theory is a generalisation of recursion theory to subsets of admissible ordinals . An admissible ordinal is closed… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Computability theoryHyperarithmetical theoryRecursively enumerable set

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
Large Cardinals and Higher Degree Theory
This is a survey paper on some recent developments in the study of higher degree theory, the theory of degree structure of… 
1992
1992
Tabular Degrees in alpha-Recursion Theory
1984
1984
An extension of the nondiamond theorem in classical and α-recursion theory
Lachlan's nondiamond theorem [7, Theorem 5] asserts that there is no embedding of the four-element Boolean algebra (diamond) in… 
1978
1978
The operator gap theorem in α-recursion theory
1973
1973
Tame Σ[2] functions in α-recursion theory
1973
1973
Minimal α-recursion theoretic degrees
This paper investigates the problem of extending the recursion theoretic construction of a minimal degree to the Kripke [2… 
1972
1972
Priority arguments in α-recursion theory,
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)