Casanovas Ruiz-Fornells, EnriqueWagner, Frank O. (Frank Olaf), 1964-2009-04-062009-04-0620031088-6826https://hdl.handle.net/2445/7625There 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.6 p.application/pdfeng(c) American Mathematical Society, 2003Teoria de modelsModel theoryClassification theoryinfo:eu-repo/semantics/article506756info:eu-repo/semantics/openAccess