α-degrees of α-theories

DOI10.2307/2272413zbMath0327.02037OpenAlexW1514878292MaRDI QIDQ4091916

G. Metakides

Publication date: 1973

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

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

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Other infinitary logic (03C75) Higher-type and set recursion theory (03D65)

Cites Work

• On the recursive functions of ordinal numbers
• Degrees of unsolvability associated with classes of formalized theories
• Unnamed Item
• Unnamed Item

This page was built for publication: α-degrees of α-theories