Model Complete Generic Structures

DOI10.1142/9789814678001_0007MaRDI QIDQ2989967zbMATH OpenOpenAlexFDO

Authors Koichiro Ikeda, Hirotaka Kikyo

Publication date 9 June 2017

Published in Proceedings of the 13th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814678001_0007

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of denumerable and separable structures (03C15) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Categoricity and generalized model completeness
• Syntactic approach to constructions of generic models
• On generic structures
• Computable structures in generic extensions
• A generalization of abstract model theory
• Characterizing model completeness among mutually algebraic structures
• Homogeneous models and generic extensions
• Homogeneous models and generic extensions
• Model completions and omitting types
• scientific article; zbMATH DE number 5038454

Cited in

(5)

• Embeddability of ptykes
• Model completeness of generic graphs in rational cases
• Stable generic structures
• AMALGAMABLE DIAGRAM SHAPES
• Syntactic approach to constructions of generic models

This page was built for publication: Model Complete Generic Structures

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