On the notational independence of various hierarchies of degrees of unsolvability

DOI10.2307/2270584zbMATH Open0137.00903OpenAlexW2096897514MaRDI QIDQ5509684FDOQ5509684

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

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

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)