The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5

DOI10.1007/S00025-024-02186-4MaRDI QIDQ6561358FDOQ6561358

Authors: Victor V. Pambuccian 

Publication date: 25 June 2024

Published in: Results in Mathematics (Search for Journal in Brave)

zbMATH Keywords

Euclidean geometryPasch axiomsimplicity degreesimple axiom system

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Absolute planes in metric geometry (51F05) Euclidean geometries (general) and generalizations (51M05) Ordered geometries (ordered incidence structures, etc.) (51G05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Title not available (Why is that?)
• Properties preserved under homomorphism
• Title not available (Why is that?)
• The simplest axiom system for plane hyperbolic geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simplicity
• Title not available (Why is that?)
• Title not available (Why is that?)
• The simplest axiom system for plane hyperbolic geometry revisited
• Forms of the Pasch axiom in ordered geometry
• Ternary Operations as Primitive Notions for Constructive Plane Geometry V
• Transitivities of Betweenness and Separation and the Definition of Betweenness and Separation Groups
• Title not available (Why is that?)
• Another splitting of the Pasch axiom
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weakly ordered plane geometry
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• Splitting the Pasch axiom
• Theory of models with generalized atomic formulas
• Finite Partitions and Their Generators
• Ordered groups and ordered geometries
• Ordered metric geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• Euklidische Geometrie ohne das Axiom von Pasch
• Title not available (Why is that?)
• The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry
• On the simplicity of ordered geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• Why did Euclid not need the Pasch axiom?
• Ordered absolute geometry

This page was built for publication: The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561358)