The free roots of the complete graph

Casanovas Ruiz-Fornells, Enrique, Wagner, Frank O. (Frank Olaf), 1964-
There is a model-completion Tn of the theory of a (reflexive) ncoloured graph (X, R1,...,Rn) such that Rn is total, and Ri ◦ Rj ⊆ Ri+j for all i, j. For n > 2, the theory Tn is not simple, and does not have the strict order property. The theories Tn combine to yield a non-simple theory T∞ without the strict order property, which does not eliminate hyperimaginaries.
Repository: Recercat: Dipósit de la Recerca de Catalunya