DOI10.1142/S0219061321500161arXiv1810.11722MaRDI QIDQ6308866
Christian D'Elbée
Publication date: 27 October 2018
Mathematics Subject Classification ID
Classification theory, stability, and related concepts in model theory (03C45) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)