A Jump Inversion Theorem for the Degree Spectra

DOI10.1093/LOGCOM/EXN024MaRDI QIDQ3611730zbMATH OpenOpenAlexFDO

Authors Alexandra Soskova, Ivan N. Soskov

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

degree spectraenumerationsforcingjump spectraMarker's extensionsTuring degrees

Mathematics Subject Classification ID

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

Recommendations

• A Jump Inversion Theorem for the Degree Spectra
• A Note on ω-Jump Inversion of Degree Spectra of Structures
• The Jump Inversion Theorem for Q 2n+1 -Degrees
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• A jump inversion theorem for the enumeration jump
• A jump inversion theorem for the infinite enumeration jump
• A non-inversion theorem for the jump operator
• Another jump inversion theorem for structures
• Limit lemmas and jump inversion in the enumeration degrees
• A generalization of the Hopf degree theorem

Cited in

(25)

• Jump inversions of algebraic structures and the \({\Sigma}\)-definability
• Coding and definability in computable structures
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• Rice sequences of relations
• Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey
• Enumeration reducibility and computable structure theory
• Conservative extensions of abstract structures
• The Jump Inversion Theorem for Q 2n+1 -Degrees
• A jump class of noncappable degrees
• On the notion of jump structure
• Jump inversions of algebraic structures and Σ‐definability
• CODING IN GRAPHS AND LINEAR ORDERINGS
• A fixed point for the jump operator on structures
• On processes and structures
• Another jump inversion theorem for structures
• A Jump Inversion Theorem for the Degree Spectra
• TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
• Computable functors and effective interpretability
• EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER
• Families of permutations and ideals of Turing degrees
• Ivan Soskov: a life in computability
• Almost zero and high -Turing degrees
• Relations enumerable from positive information
• Fixed points for the jump operator
• Permutation groups and ideals of Turing degrees

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

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