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

DOI10.2307/2274962zbMATH Open0703.03025OpenAlexW2172247778MaRDI QIDQ3481690FDOQ3481690

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

Recommendations

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Aspects of constructibility
• Post's problem without admissibility

Cited In (1)

• Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-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)