The elementary geometry of a triangular world with hexagonal circles

MaRDI QIDQ2473585zbMATH OpenFDO

Authors Victor V. Pambuccian

Publication date 28 February 2008

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/229561, http://www.emis.de/journals/BAG/vol.49/no.1/11.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

collinearityHilbert geometry inside a trianglequantifier complexitysegment congruence

Mathematics Subject Classification ID

Desarguesian and Pappian geometries (51A30) Incidence structures embeddable into projective geometries (51A45) Congruence and orthogonality in metric geometry (51F20) Ordered geometries (ordered incidence structures, etc.) (51G05)

Review text

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}}

Recommendations

• The complexity of plane hyperbolic incidence geometry is ????
• Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence.
• scientific article; zbMATH DE number 6131440
• scientific article; zbMATH DE number 495234
• Universal-existential axiom systems for geometries expressed with Pieri's isosceles triangle as single primitive notion

Cited in

(3)

• It’s a World Made of Triangles: Plato’s Timaeus 53B–55C
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Simpler foundations for the hyperbolic plane

This page was built for publication: The elementary geometry of a triangular world with hexagonal circles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2473585)