Model Complete Generic Structures
From MaRDI portal
Publication:2989967
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
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)
This page was built for publication: Model Complete Generic Structures