The undecidability of the recursively enumerable degrees

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Undecidability and degrees of sets of sentences (03D35)

Cites work

A recursively enumerable degree which will not split over all lesser ones

Cited in

(36)

Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993
Embedding and coding below a 1-generic degree
Interpreting true arithmetic in the theory of the r.e. truth table degrees
The density of the nonbranching degrees
1998–99 Annual Meeting of the Association for Symbolic Logic
Definability in the Recursively Enumerable Degrees
Wtt-degrees and T-degrees of r.e. sets
A survey of results on the d.c.e. and $n$-c.e. degrees
The undecidability of the Π₄-theory for the r.e. wtt and Turing degrees
Turing computability: structural theory
Incomparable prime ideals of recursively enumerable degrees
Lattice nonembeddings and initial segments of the recursively enumerable degrees
A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees preserving greatest element
Computational processes, observers and Turing incompleteness
The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
Degree Structures: Local and Global Investigations
PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES
The Role of True Finiteness in the Admissible Recursively Enumerable Degrees
On the existence of a strong minimal pair
Infima in the d.r.e. degrees
Cupping and jump classes in the computably enumerable degrees
Undecidability and initial segments of the (r.e.) tt-degrees
Undecidability and 1-types in the recursively enumerable degrees
On the theory of the PTIME degrees of the recursive sets
Undecidability of $L(F_{\infty})$ and other lattices of r.e. substructures
European Summer Meeting of the Association for Symbolic Logic
Intervals and sublattices of the r.e. weak truth table degrees. I: Density
The ∀∃-theory of ℛ(≤,∨,∧) is undecidable
The last question on recursively enumerable $m$-degrees
The $n$-r.e. degrees: undecidability and $\Sigma_1$ substructures
The undecidability of the lattice of r. e. closed subsets of an effective topological space
THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES
Splitting theorems in recursion theory
Working below a high recursively enumerable degree
The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility
Undecidability and 1-types in intervals of the computably enumerable degrees

This page was built for publication: The undecidability of the recursively enumerable degrees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3666835)