Recursion in Kolmogorov's R-operator and the ordinal σ3

DOI10.2307/2273936zbMath0648.03033OpenAlexW2084893822MaRDI QIDQ3792676

Thomas T. John

Publication date: 1986

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

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

zbMATH Keywords

higher type recursion theoryreindexing\(\Sigma^ 0_ 3\)-game1- section of R and 2Ehierarchy of consistent partial functionals of pure typeKleene's recursion theory for functionalsKolmogorov's R-operatortype 3 object

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Related Items (2)

The complexity of recursion theoretic games ⋮ Explicit mathematics with the monotone fixed point principle

Cites Work

• Descriptive set theory
• Representability in some systems of second order arithmetic

This page was built for publication: Recursion in Kolmogorov's R-operator and the ordinal σ₃