Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence.

DOI10.1016/S0019-3577(04)80008-9MaRDI QIDQ1890449zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 3 January 2005

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-3577(04)80008-9

zbMATH Keywords

axiomatizationEuclidean geometry

Mathematics Subject Classification ID

Euclidean geometries (general) and generalizations (51M05)

Review text

In this paper the axiomatization of dimension-free Euclidean geometry is discussed. Primitive notions are point and equilateral triangle and the incidence of point and (side of) triangle. Some predicates and axioms are given such that one gets an equivalent formulation of an axiom system of \textit{W. Schwabhäuser, W. Szmielew} and \textit{A. Tarski} [Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Springer-Verlag (1983; Zbl 0564.51001)]. Similar results are given for point, square and incidence as primitive notions.

Recommendations

• EUCLIDEAN TWO DIMENSIONAL, EQUIDISTANCE THEORY
• TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
• Fragments of Euclidean and hyperbolic geometry
• Minimal foundations of geometry

Cites work

• A logical look at characterizations of geometric transformations under mild hypotheses
• Fragments of Euclidean and hyperbolic geometry
• scientific article; zbMATH DE number 3120479 (Why is no real title available?)
• scientific article; zbMATH DE number 3857845 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• Mappings preserving some geometrical figures

Cited in

(5)

• The undefinability of intersection from perpendicularity in the three- dimensional Euclidean geometry of lines
• The elementary geometry of a triangular world with hexagonal circles
• scientific article; zbMATH DE number 3857845 (Why is no real title available?)
• EUCLIDEAN TWO DIMENSIONAL, EQUIDISTANCE THEORY
• scientific article; zbMATH DE number 69208 (Why is no real title available?)

This page was built for publication: Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence.

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