Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 867

Preprint Number 867

Previous Next Preprint server

867. Gabriel Conant
An axiomatic approach to free amalgamation

Submission date: 4 May 2015.


We use axioms of abstract ternary relations to define the notion of a free amalgamation theory. This notion encompasses many prominent examples of countable structures in relational languages, which have free amalgamation with respect to algebraically closed substructures. Such examples include the random graph, the generic K_n-free graph and (K_n+K_3)-free graph, and certain Hrushovski constructions defined from a predimension and "good" control function. We unify and generalize previous work of Evans & Wong and Patel to prove that any free amalgamation theory is NSOP_4. We then show that any free amalgamation theory has weak elimination of imaginaries, which yields new examples of rosy theories.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1505.00762: pdf, ps.

Last updated: March 23 2021 10:23 Please send your corrections to: