2016/09/08 by Koponen, Vera · 1 citation
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1609.02433
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.