On infinite sets with no $3$ on a line

Abstract

We give a construction of an infinite set of points $A$ in ${\mathbb{R}}^2$ such that any subset $P\subseteq A$ has a constant density subset $P^{\prime }$ with no three points collinear and yet $A$ cannot be separated into finitely many subsets such that each subset has no three points collinear. This provides a new proof of a question of Erdős, Nešetřil, and Rödl. The construction was generated by an internal model at OpenAI.

2 pages