scientific article; zbMATH DE number 2133993

MaRDI QIDQ3159141zbMATH OpenFDO

Authors Victor V. Pambuccian

Publication date 14 February 2005

zbMATH Keywords

geometric constructionhyperbolic geometryquantifier-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

• Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
• Axiomatizing geometric constructions
• The simplest axiom system for plane hyperbolic geometry revisited
• Fragments of Euclidean and hyperbolic geometry
• The complexity of plane hyperbolic incidence geometry is ????

Cited in

(6)

• Axiomatizing geometric constructions
• Fragments of Euclidean and hyperbolic geometry
• On R. Baer's generalized hyperbolic planes
• Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
• Automated triangle constructions in hyperbolic geometry
• A comprehensive analysis of the axiomatic frameworks in which Fagnano's theorem holds

This page was built for publication:

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