The simplest axiom system for hyperbolic geometry revisited, again

DOI10.1007/s11225-013-9509-0zbMath1301.03017OpenAlexW1988732149WikidataQ114017386 ScholiaQ114017386MaRDI QIDQ456972

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

zbMATH Keywords

hyperbolic geometryautomated theorem provingproof analysisabsolute geometrydependent axiomindependent axiom

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Mechanization of proofs and logical operations (03B35) Foundations of classical theories (including reverse mathematics) (03B30) Absolute planes in metric geometry (51F05) Euclidean geometries (general) and generalizations (51M05) Elementary problems in hyperbolic and elliptic geometries (51M09)

Related Items (1)

Discussing Hilbert's 24th problem

Uses Software

• Tipi

Cites Work

• The simplest axiom system for plane hyperbolic geometry revisited
• Simplicity
• Axioms for Absolute Geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The simplest axiom system for hyperbolic geometry revisited, again