A Note on ω-Jump Inversion of Degree Spectra of Structures
From MaRDI portal
Publication:5326384
DOI10.1007/978-3-642-39053-1_43zbMath1433.03111OpenAlexW2279489057MaRDI QIDQ5326384
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
Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28) Model theory of denumerable and separable structures (03C15)
Related Items
Jump inversions of algebraic structures and the \({\Sigma}\)-definability ⋮ Jump inversions of algebraic structures and Σ‐definability ⋮ Bi‐embeddability spectra and bases of spectra ⋮ A hierarchy of classes of families and \(n\)-low degrees ⋮ Enumeration Reducibility and Computable Structure Theory ⋮ Defining totality in the enumeration degrees