The ∀∃-theory of ℛ(≤,∨,∧) is undecidable (Q4813796): Difference between revisions

@@ Property / author @@
+Russell G. Miller
@@ Property / author: Russell G. Miller / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Incomparable prime ideals of recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Embedding finite lattices into the ideals of computably enumerable turing degrees
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability: structure and theory
@@ Property / cites work: Degrees of unsolvability: structure and theory / rank @@
+Normal rank
@@ Property / cites work @@
+TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
+Normal rank
@@ Property / cites work @@
+The undecidability of the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+On the <i>Σ</i><sub>2</sub>-theory of the upper semilattice of Turing degrees
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+The impossibility of finding relative complements for recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+A recursively enumerable degree which will not split over all lesser ones
+Normal rank
@@ Property / cites work @@
+The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
+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 @@
+Q4044555
@@ Property / cites work: Q4044555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees
+Normal rank
@@ Property / cites work @@
+Decidability and Invariant Classes for Degree Structures
+Normal rank
@@ Property / cites work @@
+The elementary theory of the recursively enumerable degrees is not \(\aleph _ 0\)-categorical
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q3234158
@@ Property / cites work: Q3234158 / rank @@
+Normal rank
@@ Property / cites work @@
+PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES
+Normal rank
@@ Property / cites work @@
+Q3125203
@@ Property / cites work: Q3125203 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability and Definability in the Recursively Enumerable Degrees
+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 @@
+The recursively enumerable degrees are dense
@@ Property / cites work: The recursively enumerable degrees are dense / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of the Degrees below <b>0</b> ′
@@ Property / cites work: The Theory of the Degrees below <b>0</b> ′ / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934281
@@ Property / cites work: Q4934281 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Extension of embeddings in the computably enumerable degrees
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / 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 @@
+On the Degrees of Index Sets
@@ Property / cites work: On the Degrees of Index Sets / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9947-03-03406-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1956375874
@@ Property / OpenAlex ID: W1956375874 / rank @@
+Normal rank