Taking model-complete cores

MaRDI QIDQ7210043arXivFDO

Authors Manuel Bodirsky, Bertalan Bodor, Paolo Marimon

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Interpolation, preservation, definability (03C40) Classification theory, stability, and related concepts in model theory (03C45) Infinite automorphism groups (20B27)

arXiv classification

math.LO

This page was built for publication: Taking model-complete cores

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7210043)