A Note on ω-Jump Inversion of Degree Spectra of Structures

DOI10.1007/978-3-642-39053-1_43MaRDI QIDQ5326384zbMATH OpenOpenAlexFDO

Authors Ivan N. Soskov

Publication date 5 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39053-1_43

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Computable structure theory, computable model theory (03C57) Other Turing degree structures (03D28) Other degrees and reducibilities in computability and recursion theory (03D30) Theory of numerations, effectively presented structures (03D45)

Cited in

(9)

• Jump inversions of algebraic structures and the \({\Sigma}\)-definability
• Enumeration reducibility and computable structure theory
• A Jump Inversion Theorem for the Degree Spectra
• Jump inversions of algebraic structures and Σ‐definability
• Bi‐embeddability spectra and bases of spectra
• Defining totality in the enumeration degrees
• Ivan Soskov: a life in computability
• Relations enumerable from positive information
• A hierarchy of classes of families and \(n\)-low degrees

This page was built for publication: A Note on ω-Jump Inversion of Degree Spectra of Structures

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