Some definable types that cannot be amalgamated

Martin Hils, Rosario Mennuni

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