Some definable types that cannot be amalgamated

DOI10.1002/MALQ.202200046arXiv2207.09787OpenAlexW4379233675MaRDI QIDQ6096715FDOQ6096715

Authors: Martin Hils, Rosario Mennuni 

Publication date: 15 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Abstract: We exhibit a theory where definable types lack the amalgamation property.

Full work available at URL: https://arxiv.org/abs/2207.09787

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Non-Archimedean tame topology and stably dominated types
• Definable types in -minimal theories
• Paires de structures O-minimales
• Paires de structures stables
• An Invitation to Model Theory
• Imaginaries and invariant types in existentially closed valued differential fields
• Definable types in algebraically closed valued fields
• On the proof of elimination of imaginaries in algebraically closed valued fields
• Imaginaries in separably closed valued fields

This page was built for publication: Some definable types that cannot be amalgamated

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