Affiliation:
1. Institut für Mathematische Logik und Grundlagenforschung Westfälische Wilhelms‐Universität Münster Germany
2. Dipartimento di Matematica Università di Pisa Italy
Abstract
AbstractWe exhibit a theory where definable types lack the amalgamation property.
Funder
Deutsche Forschungsgemeinschaft
Ministero dell’Istruzione, dell’Università e della Ricerca
Reference12 articles.
1. Paires de structures O-minimales
2. Definable types in algebraically closed valued fields
3. P.Cubides Kovacsics M.Hils andJ.Ye Beautiful pairs https://arxiv.org/abs/2112.00651(2021).
4. Imaginaries in separably closed valued fields
5. M.HilsandS.Rideau‐Kikuchi Un principe d'Ax‐Kochen‐Ershov imaginaire https://arxiv.org/abs/2109.12189(2021).