On the constructive geometry of Euclidean planes (Q1969624)

This note characterizes the plane Euclidean geometry that allows the use of ruler and angle transfer as the only constructive instruments. He shows that this geometry is the geometry of Euclidean planes over a quadratic extension field. The author shows the possibility of a quantifier-free axiomatization of this constructive geometry in a first-order language. To the basic aspects of the intention see a series of papers by \textit{V. Pambuccian} [Z. Math. Logik Grundlagen Math. 35, 531-535 (1989; Zbl 0669.03029); ibid. 38, 345-348 (1992; Zbl 0739.03033); Math. Log. Q. 39, 393-402 (1993; Zbl 0799.03071); ibid. 40, 76-86 (1994; Zbl 0799.03072); ibid. 40, 455-477 (1994; Zbl 0808.03045); ibid. 41, 384-394 (1995; Zbl 0828.03032)]. And the present paper is a contribution to this programme. It is remarkable that by planes with characteristic \(\neq 2\) the angle transfer is equal to the right-angle transfer.