Lines, betweenness and metric spaces

Pierre Aboulker, Xiaomin Chen, Guangda Huzhang +2

A classic theorem of Euclidean geometry asserts that any noncollinear set of $n$ points in the plane determines at least $n$ distinct lines. Chen and Chvátal conjectured that this…