paper

Some definable types that cannot be amalgamated

arXiv:2207.09787 · doi:10.1002/malq.202200046

Abstract

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

4 pages