A Jump Inversion Theorem for the Degree Spectra

DOI10.1093/logcom/exn024zbMath1165.03018OpenAlexW2147255634MaRDI QIDQ3611730

Ivan N. Soskov, Alexandra Soskova

Publication date: 2 March 2009

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn024

zbMATH Keywords

forcingenumerationsTuring degreesdegree spectrajump spectraMarker's extensions

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Other Turing degree structures (03D28)

Related Items (17)

Jump inversions of algebraic structures and the \({\Sigma}\)-definability ⋮ A fixed point for the jump operator on structures ⋮ On Processes and Structures ⋮ Another Jump Inversion Theorem for Structures ⋮ Rice sequences of relations ⋮ Unnamed Item ⋮ EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER ⋮ Jump inversions of algebraic structures and Σ‐definability ⋮ Families of permutations and ideals of Turing degrees ⋮ Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey ⋮ Enumeration Reducibility and Computable Structure Theory ⋮ CODING IN GRAPHS AND LINEAR ORDERINGS ⋮ Fixed points for the jump operator ⋮ TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS ⋮ COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY ⋮ Coding and definability in computable structures ⋮ Conservative Extensions of Abstract Structures

This page was built for publication: A Jump Inversion Theorem for the Degree Spectra