DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
From MaRDI portal
Publication:4460756
DOI10.1142/S0219061303000285zbMath1049.03030OpenAlexW2161387988MaRDI QIDQ4460756
Publication date: 29 March 2004
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0219061303000285
Related Items
Elementary theories and structural properties of d-c.e. and n-c.e. degrees ⋮ The automorphism group of the enumeration degrees ⋮ A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES ⋮ Unnamed Item ⋮ The enumeration degrees: Local and global structural interactions ⋮ The relationship between local and global structure in the enumeration degrees ⋮ PA RELATIVE TO AN ENUMERATION ORACLE ⋮ A Survey of Results on the d-c.e. and n-c.e. Degrees ⋮ Density of the cototal enumeration degrees ⋮ Cupping and definability in the local structure of the enumeration degrees ⋮ Interpreting true arithmetic in the local structure of the enumeration degrees ⋮ The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees ⋮ Definability in the Local Theory of the ω-Enumeration Degrees ⋮ On Kalimullin pairs ⋮ Defining totality in the enumeration degrees ⋮ Characterizing the continuous degrees ⋮ INITIAL SEGMENTS OF THE ENUMERATION DEGREES ⋮ On cototality and the skip operator in the enumeration degrees ⋮ The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees ⋮ The jump operator on the \(\omega \)-enumeration degrees ⋮ Turing degrees in Polish spaces and decomposability of Borel functions ⋮ Definability via Kalimullin pairs in the structure of the enumeration degrees
Cites Work
