On the notational independence of various hierarchies of degrees of unsolvability

DOI10.2307/2270584MaRDI QIDQ5509684zbMATH OpenOpenAlexFDO

Authors G. Hensel, Hilary W. Putnam

Publication date 1965

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

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

zbMATH Keywords

mathematical logic

Cites work

• Hierarchies of number-theoretic predicates
• On degrees of recursive unsolvability
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Recursively enumerable sets of positive integers and their decision problems
• The constructive second number class
• The upper semi-lattice of degrees of recursive unsolvability

Cited in

(2)

• Uniform upper bounds on ideals of turing degrees
• A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy

This page was built for publication: On the notational independence of various hierarchies of degrees of unsolvability

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