Another jump inversion theorem for structures

DOI10.1007/978-3-642-39053-1_49MaRDI QIDQ5326388zbMATH OpenOpenAlexFDO

Authors S. Vatev

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_49

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Other Turing degree structures (03D28) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Jump inversions of algebraic structures and Σ‐definability
• A Jump Inversion Theorem for the Degree Spectra
• On the notion of jump structure
• A Jump Inversion Theorem for the Degree Spectra
• A fixed point for the jump operator on structures

Cites work

• A Jump Inversion Theorem for the Degree Spectra
• Computable structures and the hyperarithmetical hierarchy
• Degrees of Structures
• Effective model theory vs. recursive model theory
• Enumerations in computable structure theory
• Generic copies of countable structures

Cited in

(8)

• Pseudo-jump inversion, upper cone avoidance, and strong jump-traceability
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• Enumeration reducibility and computable structure theory
• A Jump Inversion Theorem for the Degree Spectra
• Strong jump inversion
• scientific article; zbMATH DE number 1420838 (Why is no real title available?)
• On the notion of jump structure
• A Jump Inversion Theorem for the Degree Spectra

This page was built for publication: Another jump inversion theorem for structures

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