A Decidable Fragment of the Elementary Theory of the Lattice of Recursively Enumerable Sets (Q3880826): Difference between revisions

@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+Degrees of recursively enumerable sets which have no maximal supersets
+Normal rank
@@ Property / cites work @@
+The elementary theory of recursively enumerable sets
+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 @@
+On some games which are relevant to the theory of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+On elementary theories of some lattices or α-recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+\(r\)-maximal major subsets
@@ Property / cites work: \(r\)-maximal major subsets / rank @@
+Normal rank
@@ Property / cites work @@
+d-simple sets, small sets, and degree classes
@@ Property / cites work: d-simple sets, small sets, and degree classes / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Recursion, metarecursion, and inclusion
@@ Property / cites work: Recursion, metarecursion, and inclusion / rank @@
+Normal rank
@@ Property / cites work @@
+Two Theorems on Hyperhypersimple Sets
@@ Property / cites work: Two Theorems on Hyperhypersimple Sets / rank @@
+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 @@
+Determining Automorphisms of the Recursively Enumerable Sets
+Normal rank
@@ Property / cites work @@
+Nowhere simple sets and the lattice of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
+Normal rank