arXiv2110.02361MaRDI QIDQ6379484
Itay Kaplan, Leor Neuhauser, Christian D'Elbée
Publication date: 5 October 2021
Mathematics Subject Classification ID
Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Quantifier elimination, model completeness, and related topics (03C10)
