Groups and plane geometry (Q817696)

In the precisely written paper the author shows that the first-order theory of a large class of plane geometries and the first-order theory of their groups of motions, understood both as groups with a unary predicate singling out line-reflections and as groups acting on sets, are mutually interpretable. The paper was inspired by some talks with J. Diller and shows interesting connexions with papers of D. Lascar, R. S. Millman, K. Prazmowski, A. Prusinska and W. Szczerba.