The Dirac-Goodman-Pollack conjecture (Q6624175)

\textit{J. E. Goodman} and \textit{R. Pollack} [Numerantium 32, 383--394 (1981; Zbl 0495.05012)] gave abstract combinatorial generalizations for three problems in discrete geometry, in terms of \textit{allowable sequences}. These problems included Dirac's Conjecture: Given a set \(S\) of \(n\) non-colllinear points in the plane, there exists a point in \(S\) incident to \(cn\) lines determined by \(S\), for some constant \(c > 0\). In 1983, \textit{J. Beck} [Combinatorica 3, 281--297 (1983; Zbl 0533.52004)] and \textit{E. Szemerédi} and \textit{W. T. Trotter jun.} [Combinatorica 3, 381--392 (1983; Zbl 0541.05012)] independently proved Dirac's Conjecture. The paper under review proves the abstract allowable sequences version of Dirac's Conjecture.