The free roots of the complete graph |
| |
| Authors: | Enrique Casanovas Frank O. Wagner |
| |
| Affiliation: | Departament de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Baldiri Reixac s/n, 08028 Barcelona, Spain ; Institut Girard Desargues, Université Claude Bernard (Lyon 1), 21, avenue Claude Bernard, 69622 Villeurbanne, France |
| |
| Abstract: | There is a model-completion  of the theory of a (reflexive)  -coloured graph  such that  is total, and  for all  . For  , the theory  is not simple, and does not have the strict order property. The theories  combine to yield a non-simple theory  without the strict order property, which does not eliminate hyperimaginaries. |
| |
| Keywords: | |
|
| 点击此处可从《Proceedings of the American Mathematical Society》浏览原始摘要信息 |
|
点击此处可从《Proceedings of the American Mathematical Society》下载全文 |
|
