Embedding jump upper semilattices into the Turing degrees (Q4650267): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2114190286
@@ Property / OpenAlex ID: W2114190286 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial segments of the degrees of size \(\aleph _ 1\)
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4249724
@@ Property / cites work: Q4249724 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Pseudo-Well-Orderings
@@ Property / cites work: Recursive Pseudo-Well-Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946098
@@ Property / cites work: Q4946098 / rank @@
+Normal rank
@@ Property / cites work @@
+Jump embeddings in the Turing degrees
@@ Property / cites work: Jump embeddings in the Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+On Suborderings of Degrees of Recursive Unsolvability
+Normal rank
@@ Property / cites work @@
+Q5477365
@@ Property / cites work: Q5477365 / rank @@
+Normal rank