De Bruijn-Erdős type theorems for graphs and posets

Pierre Aboulker, Guillaume Lagarde, David Malec +2

A classical theorem of De Bruijn and Erdős asserts that any noncollinear set of n points in the plane determines at least n distinct lines. We prove that an analogue of this theore…