An introduction to γ-recursion theory (or what to do in KP – Foundation)

DOI10.2307/2274962zbMath0703.03025OpenAlexW2172247778MaRDI QIDQ3481690

Robert S. Lubarsky

Publication date: 1990

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274962

zbMATH Keywords

replacementadmissibilityr.e. degreeReverse mathematicsalpha-recursion theorygamma-recursion theoryrecursion theory on admissible ordinals without class foundationReverse recursion theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory

Cites Work

• Post's problem without admissibility
• Aspects of constructibility

This page was built for publication: An introduction to γ-recursion theory (or what to do in KP – Foundation)