scientific article

zbMath0995.51005MaRDI QIDQ2731727

Victor V. Pambuccian

Publication date: 30 October 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hyperbolic geometryEuclidean geometryaxiomatizationsquantifier-free axioms in first-order languages

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Foundations of classical theories (including reverse mathematics) (03B30) Translation planes and spreads in linear incidence geometry (51A40) Linear incidence geometric structures with parallelism (51A15) Absolute planes in metric geometry (51F05) Congruence and orthogonality in metric geometry (51F20) Euclidean geometries (general) and generalizations (51M05) Reflection groups, reflection geometries (51F15) Configuration theorems in linear incidence geometry (51A20) Desarguesian and Pappian geometries (51A30)

Related Items (8)

Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. ⋮ Logic for physical space. From antiquity to present day ⋮ Metric Geometries in an Axiomatic Perspective ⋮ The Axiomatic Destiny of the Theorems of Pappus and Desargues ⋮ The Thomsen-Bachmann correspondence in metric geometry. II ⋮ Axiomatizing geometric constructions ⋮ Prolegomena to any theory of proof simplicity ⋮ Groups and plane geometry

This page was built for publication: