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

hyperbolic geometryproof analysisautomated theorem provingabsolute geometrydependent axiomindependent axiom

Mathematics Subject Classification ID

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)

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

• 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?)
• A system of axioms for hyperbolic planes over Euclidean fields
• Axioms for Absolute Geometry
• Simplicity
• The simplest axiom system for plane hyperbolic geometry revisited

Cited in

(9)

• Membrane Computing
• 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
• scientific article; zbMATH DE number 720249 (Why is no real title available?)
• A system of axioms for hyperbolic geometry
• Simpler foundations for the hyperbolic plane
• A further simplification of Tarski's axioms of geometry
• scientific article; zbMATH DE number 4146970 (Why is no real title available?)

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)