Another jump inversion theorem for structures

DOI10.1007/978-3-642-39053-1_49zbMATH Open1433.03112OpenAlexW1015896310MaRDI QIDQ5326388FDOQ5326388

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• Title not available (Why is that?)
• Strong jump inversion
• Enumeration reducibility and computable structure theory
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• Pseudo-jump inversion, upper cone avoidance, and strong jump-traceability
• A Jump Inversion Theorem for the Degree Spectra
• 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)