The nonlow computably enumerable degrees are not invariant in $\mathcal {E}$ (Q4913812): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of the lattice of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS
+Normal rank
@@ Property / cites work @@
+Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets
+Normal rank
@@ Property / cites work @@
+The Δ₃⁰-automorphism method and noninvariant classes of degrees
+Normal rank
@@ Property / cites work @@
+Definable properties of the computably enumerable sets
+Normal rank
@@ Property / cites work @@
+Degrees of recursively enumerable sets which have no maximal supersets
+Normal rank
@@ Property / cites work @@
+On some games which are relevant to the theory of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Degrees of classes of RE sets
@@ Property / cites work: Degrees of classes of RE sets / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Enumerability and the Jump Operator
@@ Property / cites work: Recursive Enumerability and the Jump Operator / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
+Normal rank
@@ Property / cites work @@
+Automorphisms of the lattice of recursively enumerable sets. Part II: Low sets
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4913812