Definability in the Recursively Enumerable Degrees

DOI10.2307/421171MaRDI QIDQ3128481zbMATH OpenOpenAlexFDO

Authors André Nies, Richard A. Shore, Theodore A. Slaman

Publication date 5 November 1997

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/74423533fd75cc39f55afa659665d6eff419a90d, http://www.math.ucla.edu/~asl/bsl/0204-toc.htm

zbMATH Keywords

automorphismdefinabilityTuring reducibilityrecursively enumerable degreesdouble jump

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Recommendations

• Interpretability and Definability in the Recursively Enumerable Degrees
• Definability in the Turing degrees
• Defining Jump Classes in the Degrees Below 0'
• The nonlow computably enumerable degrees are not invariant in \(\mathcal{E}\)
• PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES

Cites work

• A minimal pair of recursively enumerable degrees
• Interpolation and embedding in the recursively enumerable degrees
• Lattice nonembeddings and initial segments of the recursively enumerable degrees
• Not every finite lattice is embeddable in the recursively enumerable degrees
• On homogeneity and definability in the first-order theory of the Turing degrees
• On the degrees less than 0'
• Recursively enumerable sets of positive integers and their decision problems
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
• The homogeneity conjecture
• The impossibility of finding relative complements for recursively enumerable degrees
• The recursively enumerable degrees are dense
• The undecidability of the recursively enumerable degrees
• Undecidability and 1-types in the recursively enumerable degrees
• Working below a \(low_ 2\) recursively enumerable degree

Cited in

(23)

• The relationship between local and global structure in the enumeration degrees
• Low level nondefinability results: domination and recursive enumeration
• A Rigid Cone in the Truth-Table Degrees with Jump
• Defining Jump Classes in the Degrees Below 0'
• A fixed point for the jump operator on structures
• On the definable ideal generated by nonbounding c.e. degrees
• Biinterpretability up to double jump in the degrees below \(\mathbf{0}'\)
• Recognizability equals definability for partial k-paths
• scientific article; zbMATH DE number 1390016 (Why is no real title available?)
• PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES
• Definability in the Turing degrees
• On a Conjecture of Kleene and Post
• scientific article; zbMATH DE number 1531930 (Why is no real title available?)
• scientific article; zbMATH DE number 1531934 (Why is no real title available?)
• Cappable recursively enumerable degrees and Post's program
• The \(\Delta ^0_2\) Turing degrees: automorphisms and definability
• On the jumps of the degrees below a recursively enumerable degree
• The definability of \(\mathbb{E}\) in self-iterable mice
• Interpretability and Definability in the Recursively Enumerable Degrees
• ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS
• The nonlow computably enumerable degrees are not invariant in \(\mathcal{E}\)
• The existence of high nonbounding degrees in the difference hierarchy
• Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond

This page was built for publication: Definability in the Recursively Enumerable Degrees

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