Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity

DOI10.1023/A:1021294808742zbMath1028.03014OpenAlexW188101875MaRDI QIDQ1868171

Victor V. Pambuccian

Publication date: 27 April 2003

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021294808742

zbMATH Keywords

incidencehyperbolic geometrybetweennesscongruencePascal's theoremcollinearityaxiomatic systemsDesargues axiomPappus axiomquantifier type complexity

Mathematics Subject Classification ID

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

Related Items (1)

Correction to ``Axiomatizations of hyperbolic geometry

This page was built for publication: Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity