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

DOI10.2307/2274962MaRDI QIDQ3481690zbMATH OpenOpenAlexFDO

Authors 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

admissibilityalpha-recursion theorygamma-recursion theoryr.e. degreerecursion theory on admissible ordinals without class foundationreplacementReverse mathematicsReverse recursion theory

Mathematics Subject Classification ID

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

Recommendations

• Fragments of Kripke-Platek set theory and the metamathematics of -recursion theory
• scientific article; zbMATH DE number 2061062
• scientific article; zbMATH DE number 1390019
• Techniques of admissible recursion theory
• AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS

Cites work

• Aspects of constructibility
• Post's problem without admissibility

Cited in

(1)

• Fragments of Kripke-Platek set theory and the metamathematics of -recursion theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3481690)