The simplest axiom system for hyperbolic geometry revisited, again
DOI10.1007/S11225-013-9509-0zbMATH Open1301.03017OpenAlexW1988732149WikidataQ114017386 ScholiaQ114017386MaRDI QIDQ456972FDOQ456972
Authors: Jesse Alama 
Publication date: 26 September 2014
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-013-9509-0
Recommendations
hyperbolic geometryproof analysisautomated theorem provingabsolute geometrydependent axiomindependent axiom
Hyperbolic and elliptic geometries (general) and generalizations (51M10) Foundations of classical theories (including reverse mathematics) (03B30) Mechanization of proofs and logical operations (03B35) Absolute planes in metric geometry (51F05) Euclidean geometries (general) and generalizations (51M05) Elementary problems in hyperbolic and elliptic geometries (51M09)
Cites Work
Cited In (9)
- Discussing Hilbert's 24th problem
- The simplest axiom system for plane hyperbolic geometry
- Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry
- Title not available (Why is that?)
- A system of axioms for hyperbolic geometry
- Simpler foundations for the hyperbolic plane
- A further simplification of Tarski's axioms of geometry
- Title not available (Why is that?)
- Membrane Computing
Uses Software
This page was built for publication: The simplest axiom system for hyperbolic geometry revisited, again
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456972)
