Noninitial segments of the α-degrees

DOI10.2307/2273029MaRDI QIDQ4101807zbMATH OpenOpenAlexFDO

Authors John MacIntyre

Publication date 1973

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

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

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites work

• Distributive Initial Segments of the Degrees of Unsolvability
• On degrees of recursive unsolvability

Cited in

(1)

• The theory of the \(\alpha \) degrees is undecidable

This page was built for publication: Noninitial segments of the α-degrees

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