Definability in the enumeration degrees
From MaRDI portal
Publication:1387092
DOI10.1007/s001530050064zbMath0906.03043OpenAlexW2095314879MaRDI QIDQ1387092
Theodore A. Slaman, W. Hugh Woodin
Publication date: 4 February 1999
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050064
reducibilityundecidabilitydefinabilityenumeration degreessecond-order arithmeticrecursive isomorphismcoding theorem
Decidability of theories and sets of sentences (03B25) Second- and higher-order arithmetic and fragments (03F35) Other degrees and reducibilities in computability and recursion theory (03D30)
Related Items
The automorphism group of the enumeration degrees ⋮ Extensions of two constructions of Ahmad ⋮ Interpreting true arithmetic in the theory of the r.e. truth table degrees ⋮ Degrees of unsolvability of continuous functions ⋮ Interpolating \(d\)-r.e. and REA degrees between r.e. degrees ⋮ The theory of the \(\alpha \) degrees is undecidable ⋮ The theory of ceers computes true arithmetic ⋮ Unnamed Item ⋮ The enumeration degrees: Local and global structural interactions ⋮ An oracle builder's toolkit ⋮ ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS ⋮ The relationship between local and global structure in the enumeration degrees ⋮ Bounded enumeration reducibility and its degree structure ⋮ Interpreting true arithmetic in the local structure of the enumeration degrees ⋮ Interpreting true arithmetic in the -enumeration degrees ⋮ Incomparable prime ideals of recursively enumerable degrees ⋮ Embedding and coding below a 1-generic degree ⋮ Fragments of the theory of the enumeration degrees ⋮ ON EXTENSIONS OF EMBEDDINGS INTO THE ENUMERATION DEGREES OF THE ${\Sigma_2^0}$-SETS ⋮ Decomposing Borel functions using the Shore–Slaman join theorem ⋮ The Π3-theory of the -enumeration degrees is undecidable ⋮ Sets of generator and automorphism bases for the enumeration degrees ⋮ Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees ⋮ Some Special Pairs of Σ2 e-Degrees