The theory of the \(\alpha \) degrees is undecidable (Q607833): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11856-010-0064-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2465496413
@@ Property / OpenAlex ID: W2465496413 / rank @@
+Normal rank
@@ Property / cites work @@
+Retraceable Sets
@@ Property / cites work: Retraceable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Negative solutions to Post's problem. II
@@ Property / cites work: Negative solutions to Post's problem. II / rank @@
+Normal rank
@@ Property / cites work @@
+The role of true finiteness in the admissible recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Embedding and coding below a 1-generic degree
@@ Property / cites work: Embedding and coding below a 1-generic degree / rank @@
+Normal rank
@@ Property / cites work @@
+THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+On suborderings of the α-recursively enumerable α-degrees
+Normal rank
@@ Property / cites work @@
+Noninitial segments of the <i>α</i>-degrees
@@ Property / cites work: Noninitial segments of the <i>α</i>-degrees / rank @@
+Normal rank
@@ Property / cites work @@
+The α-finite injury method
@@ Property / cites work: The α-finite injury method / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Definability in the enumeration degrees
@@ Property / cites work: Definability in the enumeration degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Turing degrees
@@ Property / cites work: Definability in the Turing degrees / 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 @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank
@@ Property / cites work @@
+Sentences true in all constructive models
@@ Property / cites work: Sentences true in all constructive models / rank @@
+Normal rank