THE n-r.e. DEGREES: UNDECIDABILITY AND Σ1 SUBSTRUCTURES (Q2909622): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On Downey's conjecture
@@ Property / cites work: On Downey's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+The d.r.e. degrees are not dense
@@ Property / cites work: The d.r.e. degrees are not dense / rank @@
+Normal rank
@@ Property / cites work @@
+D.R.E. Degrees and the Nondiamond Theorem
@@ Property / cites work: D.R.E. Degrees and the Nondiamond Theorem / 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 @@
+On a hierarchy of sets. III
@@ Property / cites work: On a hierarchy of sets. III / rank @@
+Normal rank
@@ Property / cites work @@
+Limiting recursion
@@ Property / cites work: Limiting recursion / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Interpretability and Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Degree Structures: Local and Global Investigations
+Normal rank
@@ Property / cites work @@
+DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
@@ Property / cites work: DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP / rank @@
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+On Σ<sub>1</sub>-Structural Differences Among Finite Levels of the Ershov Hierarchy
+Normal rank
@@ Property / cites work @@
+A minimal pair of recursively enumerable degrees
@@ Property / cites work: A minimal pair of recursively enumerable degrees / rank @@
+Normal rank

THE n-r.e. DEGREES: UNDECIDABILITY AND Σ<sub>1</sub> SUBSTRUCTURES (Q2909622): Difference between revisions

Revision as of 16:17, 5 July 2024

Statements

Sitelinks

Mathematics(1 entry)