Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry

DOI<129::AID-MALQ129>3.0.CO;2-B 10.1002/1521-3870(200101)47:1<129::AID-MALQ129>3.0.CO;2-BzbMath0971.03063OpenAlexW1977570283MaRDI QIDQ2707077

Victor V. Pambuccian

Publication date: 13 January 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200101)47:1<129::aid-malq129>3.0.co;2-b

zbMATH Keywords

plane hyperbolic geometryplane Euclidean geometryconstructive axiomatizations

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Absolute planes in metric geometry (51F05) Euclidean geometries (general) and generalizations (51M05)

Related Items (4)

Logic for physical space. From antiquity to present day ⋮ Axiomatizing geometric constructions ⋮ The ubiquitous axiom ⋮ Quantifier elimination for elementary geometry and elementary affine geometry

This page was built for publication: Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry