Constructive Axiomatization of Plane Hyperbolic Geometry

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200111)47:4<475::AID-MALQ475>3.0.CO;2-S" /><475::AID-MALQ475>3.0.CO;2-S 10.1002/1521-3870(200111)47:4<475::AID-MALQ475>3.0.CO;2-SzbMath1003.03052OpenAlexW2066490198MaRDI QIDQ2765570

Victor V. Pambuccian

Publication date: 24 January 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200111)47:4<475::aid-malq475>3.0.co;2-s

zbMATH Keywords

plane hyperbolic geometryconstructive axiomatisationMenger-Skala axioms

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)

Related Items (3)

A constructive real projective plane ⋮ Simpler foundations for the hyperbolic plane ⋮ Axiomatizing geometric constructions

This page was built for publication: Constructive Axiomatization of Plane Hyperbolic Geometry