Some definable types that cannot be amalgamated

DOI10.1002/MALQ.202200046MaRDI QIDQ6096715zbMATH OpenOpenAlexFDO

Authors Martin Hils, Rosario Mennuni

Publication date 15 September 2023

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

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cites work

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

Cited in

(1)

• Beautiful pairs

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)