On homogeneity and definability in the first-order theory of the Turing degrees
From MaRDI portal
Publication:3671144
DOI10.2307/2273376zbMath0521.03027MaRDI QIDQ3671144
Publication date: 1982
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273376
03D25: Recursively (computably) enumerable sets and degrees
Related Items
A General Framework for Priority Arguments, THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES, Interpolating \(d\)-r.e. and REA degrees between r.e. degrees, Definability in the Recursively Enumerable Degrees, The Role of True Finiteness in the Admissible Recursively Enumerable Degrees, Degree Structures: Local and Global Investigations, The jump is definable in the structure of the degrees of unsolvability, Forcing and reductibilities. II. Forcing in fragments of analysis, Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers, The arithmetic and Turing degrees are not elementarily equivalent, Definable degrees and automorphisms of 𝒟, The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility
Cites Work