Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry

DOI10.1285/I15900932V22N1P1zbMath1098.51017OpenAlexW1532490940MaRDI QIDQ5699090

Victoria Klawitter

Publication date: 26 April 2006

Full work available at URL: http://siba-ese.unisalento.it/index.php/notemat/article/download/1184/972

zbMATH Keywords

quantifier-free axiomatization

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 (1)

Axiomatizing geometric constructions

This page was built for publication: Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry