A further simplification of Tarski's axioms of geometry

zbMath1300.03011arXiv1306.0066MaRDI QIDQ5418677

T. J. M. Makarios

Publication date: 26 May 2014

Full work available at URL: https://arxiv.org/abs/1306.0066

zbMATH Keywords

independenceabsolute geometrysymmetry axiomTarski's axiom system for geometry

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Absolute planes in metric geometry (51F05) Euclidean geometries (general) and generalizations (51M05)

Related Items (5)

Negation-free and contradiction-free proof of the Steiner-Lehmus theorem ⋮ A constructive version of Tarski's geometry ⋮ Tarski geometry axioms. III ⋮ The ubiquitous axiom ⋮ Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry

This page was built for publication: A further simplification of Tarski's axioms of geometry