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

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

Dimension-free Euclidean geometry over Euclidean ordered fields can be axiomatized in a two-sorted first-order language, with points and regular n-gons (with n = 3 or 4) as variables, and with a binary predicate standing for the incidence of a point and a regular n-gon as the only primitive notions.

Original languageEnglish (US)
Pages (from-to)413-417
Number of pages5
JournalIndagationes Mathematicae
Volume15
Issue number3
DOIs
StatePublished - Sep 27 2004

ASJC Scopus subject areas

  • General Mathematics

Fingerprint

Dive into the research topics of 'Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence'. Together they form a unique fingerprint.

Cite this