Some definable types that cannot be amalgamated

TL;DR

This paper presents a specific theory in which certain definable types do not possess the amalgamation property, highlighting limitations in the structure of definable types.

Contribution

The paper constructs an example of a theory where definable types fail to have the amalgamation property, illustrating a notable limitation in model theory.

Findings

Existence of a theory with non-amalgamable definable types

Demonstration of failure of the amalgamation property in this context

Insight into the structure of definable types in model theory

Abstract

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