arXiv2108.04160MaRDI QIDQ6374852
Leor Neuhauser, Christian D'Elbée, Itay Kaplan
Publication date: 9 August 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)
