On the notational independence of various hierarchies of degrees of unsolvability (Q5509684): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2270584
@@ Property / full work available at URL: https://doi.org/10.2307/2270584 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2096897514
@@ Property / OpenAlex ID: W2096897514 / rank @@
+Normal rank
@@ Property / cites work @@
+The constructive second number class
@@ Property / cites work: The constructive second number class / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank