The Class of Countable Projective Planes is Borel Complete

Gianluca Paolini
DOI: https://doi.org/10.48550/arXiv.1711.06160
2018-11-15
Abstract:We observe that Hall's free projective extension $P \mapsto F(P)$ of partial planes is a Borel map, and use a modification of the construction introduced in [9] to conclude that the class of countable non-Desarguesian projective planes is Borel complete. In the process, we also rediscover the main result of [7] on the realizability of every group as the group of collineations of some projective plane. Finally, we use classical results of projective geometry to prove that the class of countable Pappian projective planes is Borel complete.
Logic
What problem does this paper attempt to address?