Automorphisms of the lattice of recursively enumerable sets (Q4767305): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the Lattice of Recursively Enumerable Sets
@@ Property / cites work: On the Lattice of Recursively Enumerable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary theory of recursively 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 @@
+Some theorems on <i>R</i>-maximal sets and major subsets of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Q4044555
@@ Property / cites work: Q4044555 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Degrees of Unsolvability. (AM-55)
@@ Property / cites work: Degrees of Unsolvability. (AM-55) / rank @@
+Normal rank
@@ Property / cites work @@
+The recursively enumerable degrees are dense
@@ Property / cites work: The recursively enumerable degrees are dense / 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 @@
+A maximal set which is not complete
@@ Property / cites work: A maximal set which is not complete / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
+Normal rank
@@ Property / cites work @@
+Three theorems on the degrees of recursively enumerable sets
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4767305