The simplest axiom system for plane hyperbolic geometry
From MaRDI portal
Publication:1770595
DOI10.1023/B:STUD.0000039031.11852.66zbMath1069.03007OpenAlexW2090245098WikidataQ114011928 ScholiaQ114011928MaRDI QIDQ1770595
Publication date: 7 April 2005
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:stud.0000039031.11852.66
Hyperbolic and elliptic geometries (general) and generalizations (51M10) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)
Related Items
Logic for physical space. From antiquity to present day, The calculus of reflections and the order relation in hyperbolic geometry, On the simplicity of ordered geometry, Automated deduction and knowledge management in geometry, Axiomatizing geometric constructions, The simplest axiom system for plane hyperbolic geometry revisited, 2005 Annual Meeting of the Association for Symbolic Logic