Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry

DOI10.1285/I15900932V22N1P1MaRDI QIDQ5699090zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 2133993
• Axiomatizing geometric constructions
• Constructive axiomatization of plane hyperbolic geometry
• The simplest axiom system for plane hyperbolic geometry revisited
• The simplest axiom system for plane hyperbolic geometry

Cited in

(7)

• Axiomatizing geometric constructions
• Constructive axiomatization of plane hyperbolic geometry
• On the Euclidean geometry of the double-edged ruler
• scientific article; zbMATH DE number 2133993 (Why is no real title available?)
• The simplest axiom system for plane hyperbolic geometry revisited
• Automated triangle constructions in hyperbolic geometry
• Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5699090)