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

Preprint Number 898

Previous Next Preprint server

898. Vera Koponen
Binary primitive homogeneous one-based structures

Submission date: 27 July 2015.


Suppose that M is countable, binary, primitive, homogeneous, simple and 1-based. We prove that the SU-rank of the complete theory of M is 1. It follows that M is a random structure. The conclusion that M is a random structure does not hold if the binarity condition is removed, as witnessed by the generic tetrahedron-free 3-hypergraph. However, to show that the generic tetrahedron-free 3-hypergraph is 1-based requires some work (it is known that it has the other properties) since this notion is defined in terms of imaginary elements. This is partly why we also characterize equivalence relations which are definable without parameters in the context of omega-categorical structures with degenerate algebraic closure. Another reason is that such characterizations may be useful in future research about simple (nonbinary) homogeneous structures.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1507.07360: pdf, ps.

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