Conservative Extensions of Abstract Structures

DOI10.1007/978-3-642-21875-0_32zbMath1345.03066OpenAlexW183823595MaRDI QIDQ3091469

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)

Related Items (2)

Unnamed Item ⋮ Enumeration Reducibility and Computable Structure Theory

Cites Work

• Unnamed Item
• Generic copies of countable structures
• Elementary induction on abstract structures
• Computable structures and the hyperarithmetical hierarchy
• Non Σ_n axiomatizable almost strongly minimal theories
• A Jump Inversion Theorem for the Degree Spectra
• Degrees of Structures
• Complexity of Categorical Theories with Computable Models
• Effective model theory vs. recursive model theory

This page was built for publication: Conservative Extensions of Abstract Structures