The simplest axiom system for hyperbolic geometry revisited, again

DOI10.1007/S11225-013-9509-0MaRDI QIDQ456972zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

absolute geometryautomated theorem provingdependent axiomhyperbolic geometryindependent axiomproof analysis

Mathematics Subject Classification ID

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) Hyperbolic and elliptic geometries (general) and generalizations (51M10)

Recommendations

• The simplest axiom system for plane hyperbolic geometry revisited
• The simplest axiom system for plane hyperbolic geometry
• A further simplification of Tarski's axioms of geometry
• Axiomatizations of hyperbolic and absolute geometries
• Simpler foundations for the hyperbolic plane

Cites work

• A system of axioms for hyperbolic planes over Euclidean fields
• Axioms for Absolute Geometry
• scientific article; zbMATH DE number 3150393 (Why is no real title available?)
• scientific article; zbMATH DE number 3151263 (Why is no real title available?)
• scientific article; zbMATH DE number 3491746 (Why is no real title available?)
• Simplicity
• The simplest axiom system for plane hyperbolic geometry revisited

Cited in

(9)

• A system of axioms for hyperbolic geometry
• The simplest axiom system for plane hyperbolic geometry
• scientific article; zbMATH DE number 4146970 (Why is no real title available?)
• scientific article; zbMATH DE number 720249 (Why is no real title available?)
• Discussing Hilbert's 24th problem
• A further simplification of Tarski's axioms of geometry
• Membrane Computing
• Simpler foundations for the hyperbolic plane
• Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry

Describes a project that uses

Uses Software

• Tipi

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)