Model Complete Generic Structures

DOI10.1142/9789814678001_0007zbMath1432.03051OpenAlexW2486217319MaRDI QIDQ2989967

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) Quantifier elimination, model completeness, and related topics (03C10) Model theory of denumerable and separable structures (03C15)

Related Items (1)

Model completeness of generic graphs in rational cases

This page was built for publication: Model Complete Generic Structures