Density of uniqueness triples from the diamond axiom

Ari Meir Brodsky, Adi Jarden

We work with a pre-$\lambda$-frame, which is an abstract elementary class (AEC) endowed with a collection of basic types and a non-forking relation satisfying certain natural properties…