The elementary geometry of a triangular world with hexagonal circles (Q2473585)

The purpose of the present article is: {\parindent=7mm \begin{itemize}\item[(i)] to axiomatize the geometry inside a triangle in the manner of Menger and Skala, see [\textit{H. L. Skala}, Geom. Dedicata 44, No. 3, 255--272 (1992; Zbl 0780.51015)], in a first-order language based on the notions of point and the ternary relation \(L\) of collinearity; \item[(ii)] to prove that its quantifier complexity is the lowest possible one; \item[(iii)] to define the notion of equidistance \(\equiv\) of two point-pairs in terms of \(L\) in a manner that by-passes the notion of logarithm; and \item[(iv)] to prove that \(L\) is not definable in terms of \(\equiv\). \end{itemize}}