Locally finite generalized quadrangles with at most five points per line (Q1772269)

Let us consider an incidence geometry involving points and lines such that two points determine one, and only one, line, and for a point and a line nonincident there is only one point incident in the line that is collinear with the given point. In addition to this let us suppose that a line is incident with at least three points, such a geometric system is called a quadrangle, and that the number of points incident with each line is \(k\) (in such systems the number of points incident to each line is the same for all lines). It is known that if \(k=3,4\) the quadrangle is finite [see \textit{A. E. Brouwer}, Adv. finite geometries designs, Proc. 3rd Isle of Thorns Conf., Chelwood Gate/UK 1990, 47--49 (1991; Zbl 0734.51005) and \textit{P. J. Cameron}, J. Lond. Math. Soc., II. Ser. 23, 249--264 (1981; Zbl 0498.20003) and an unpublished work of Kantor]. The author proves that this result is true for \(k\leq5\). The proof is done through model theory. Actually the author rephrases Ramsey's theorem (if there is a quadrangle such that each line as a finite number of points but which is infinite, then there is one generated by a particular sequence of parallel lines called indiscernible; this means that this set of parallel lines is ordered in such a way that for any two increasing sequences of these parallel lines with the same number of elements there will be an automorphism of the quadrangle carrying one to the other) and does some short computations.