Conservative extensions of abstract structures

DOI10.1007/978-3-642-21875-0_32MaRDI QIDQ3091469zbMATH OpenOpenAlexFDO

Authors S. Vatev

Publication date 9 September 2011

Published in Models of Computation in Context (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-21875-0_32

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• On the notion of jump structure
• scientific article; zbMATH DE number 4772
• Some remarks on definability of types and conservative extension
• scientific article; zbMATH DE number 58309
• On maximum conservative extensions

Cites work

• A Jump Inversion Theorem for the Degree Spectra
• Complexity of Categorical Theories with Computable Models
• Computable structures and the hyperarithmetical hierarchy
• Degrees of Structures
• Effective model theory vs. recursive model theory
• Elementary induction on abstract structures
• Generic copies of countable structures
• scientific article; zbMATH DE number 2237373 (Why is no real title available?)
• Non Σ_n axiomatizable almost strongly minimal theories

Cited in

(6)

• Enumeration reducibility and computable structure theory
• scientific article; zbMATH DE number 5316130 (Why is no real title available?)
• On a question of Krajewski's
• On the notion of jump structure
• Effective properties of Marker's extensions
• Almost zero and high -Turing degrees

This page was built for publication: Conservative extensions of abstract structures

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