Binary simple homogeneous structures
arXiv:1609.02433
Abstract
We describe all binary simple homogeneous structures M in terms of 0-definable equivalence relations on M, which "coordinatize" M and control dividing, and extension properties that respect these equivalence relations.