On the degree spectrum of a $\Pi ^0_1$ class (Q3053473): Difference between revisions

@@ Property / cites work @@
+On the ranked points of a <i>Π<sub>1</sub><sup>0</sup></i> set
+Normal rank
@@ Property / cites work @@
+Members of countable \(\Pi ^ 0_ 1\) classes
@@ Property / cites work: Members of countable \(\Pi ^ 0_ 1\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees
+Normal rank
@@ Property / cites work @@
+MASS PROBLEMS AND HYPERARITHMETICITY
@@ Property / cites work: MASS PROBLEMS AND HYPERARITHMETICITY / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417312
@@ Property / cites work: Q4417312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789545
@@ Property / cites work: Q3789545 / rank @@
+Normal rank
@@ Property / cites work @@
+On \(\Pi{}^ 0_ 1\) classes and their ranked points
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Countable retracing functions and \(\Pi_2^0\) predicates
+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 @@
+Degrees of members of \(\Pi_ 1^ 0\) classes
@@ Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Predicates and Quantifiers
@@ Property / cites work: Recursive Predicates and Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction-preserving “recursive isomorphisms” between theories
+Normal rank
@@ Property / cites work @@
+Q3758821
@@ Property / cites work: Q3758821 / rank @@
+Normal rank
@@ Property / cites work @@
+Π10 classes, strong minimal covers and hyperimmune-free degrees
+Normal rank
@@ Property / cites work @@
+Axiomatizable theories with few axiomatizable extensions
+Normal rank
@@ Property / cites work @@
+Q5494239
@@ Property / cites work: Q5494239 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the recursively enumerable Turing degrees
+Normal rank
@@ Property / cites work @@
+Mass Problems and Randomness
@@ Property / cites work: Mass Problems and Randomness / rank @@
+Normal rank