Lattice initial segments of the hyperdegrees (Q5190191): Difference between revisions

@@ Property / cites work @@
+A Note on Non-Distributive Sublattices of Degrees and Hyperdegrees
+Normal rank
@@ Property / cites work @@
+THE FIRST‐ORDER THEORY OF THE c‐DEGREES
@@ Property / cites work: THE FIRST‐ORDER THEORY OF THE c‐DEGREES / 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 @@
+Q5573370
@@ Property / cites work: Q5573370 / rank @@
+Normal rank
@@ Property / cites work @@
+On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)
+Normal rank
@@ Property / cites work @@
+Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond
+Normal rank
@@ Property / cites work @@
+Initial segments of the degrees of size \(\aleph _ 1\)
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Unsolvability. (AM-55)
@@ Property / cites work: Degrees of Unsolvability. (AM-55) / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing and reductibilities. II. Forcing in fragments of analysis
+Normal rank
@@ Property / cites work @@
+The ∀∃-theory of ℛ(≤,∨,∧) is undecidable
+Normal rank
@@ Property / cites work @@
+Lattices of c-degrees
@@ Property / cites work: Lattices of c-degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial segments of the degrees of unsolvability
@@ Property / cites work: Initial segments of the degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Local Initial Segments of The Turing Degrees
@@ Property / cites work: Local Initial Segments of The Turing Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+On the representation of lattices
@@ Property / cites work: On the representation of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Initial segments of the degrees of constructibility
+Normal rank