PA RELATIVE TO AN ENUMERATION ORACLE (Q6180605): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1017/jsl.2022.55
+Normal rank
@@ Property / OpenAlex ID @@
+W4285726452
@@ Property / OpenAlex ID: W4285726452 / rank @@
+Normal rank
@@ Property / cites work @@
+On cototality and the skip operator in the enumeration degrees
+Normal rank
@@ Property / cites work @@
+Characterizing the continuous degrees
@@ Property / cites work: Characterizing the continuous degrees / rank @@
+Normal rank
@@ Property / cites work @@
+An Application of 1-Genericity in the $\Pi^0_2$ Enumeration Degrees
+Normal rank
@@ Property / cites work @@
+Enumeration 1-genericity in the local enumeration degrees
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness of Closed Sets
@@ Property / cites work: Algorithmic Randomness of Closed Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Defining totality in the enumeration degrees
@@ Property / cites work: Defining totality in the enumeration degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Partial degrees and the density problem. Part 2: The enumeration degrees of the <i>Σ</i><sub>2</sub> sets are dense
+Normal rank
@@ Property / cites work @@
+Martin-Löf randomness and Galton-Watson processes
+Normal rank
@@ Property / cites work @@
+RELATIVIZING CHAITIN'S HALTING PROBABILITY
@@ Property / cites work: RELATIVIZING CHAITIN'S HALTING PROBABILITY / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility and Completeness for Sets of Integers
+Normal rank
@@ Property / cites work @@
+A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES
@@ Property / cites work: A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
+Normal rank
@@ Property / cites work @@
+Q5476771
@@ Property / cites work: Q5476771 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory week. Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
+Normal rank
@@ Property / cites work @@
+Cototal enumeration degrees and their applications to effective mathematics
+Normal rank
@@ Property / cites work @@
+Q5848894
@@ Property / cites work: Q5848894 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability of continuous functions
@@ Property / cites work: Degrees of unsolvability of continuous functions / rank @@
+Normal rank
@@ Property / cites work @@
+Density of the cototal enumeration degrees
@@ Property / cites work: Density of the cototal enumeration degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+Measures and their random reals
@@ Property / cites work: Measures and their random reals / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Reducibilities I
@@ Property / cites work: Arithmetical Reducibilities I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5228543
@@ Property / cites work: Q5228543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848893
@@ Property / cites work: Q5848893 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6180605