Abstract
We prove that each ∀1 free amalgamation class K over a finite relational language L admits a countable generic structure M isometrically embedding all countable structures in K relative to a fixed metric. We expand L by infinitely many binary predicates expressing distance, and prove that the resulting expansion of K has a model companion axiomatized by the first-order theory of M. The model companion is non-finitely axiomatizable, even over a strong form of the axiom scheme of infinity. Mathematics Subject Classification: 03C15, 05C12.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
