The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
type: Item
instance of: scholarly article
title: The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
author: Victor V. Pambuccian
published in: Results in Mathematics
publication date: 2024-06-25T00:00:00Z
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 51F05
Mathematics Subject Classification ID: 51M05
Mathematics Subject Classification ID: 51G05
zbMATH DE Number: 7870792
zbMATH Keywords: Pasch axiom
zbMATH Keywords: simple axiom system
zbMATH Keywords: Euclidean geometry
zbMATH Keywords: simplicity degree
MaRDI profile type: Publication
cites work: Q5654685
cites work: Q4071291
cites work: Q5707890
cites work: Theory of models with generalized atomic formulas
cites work: Properties preserved under homomorphism
cites work: Simplicity
cites work: Q3477582
cites work: Q4322109
cites work: Ternary Operations as Primitive Notions for Constructive Plane Geometry V
cites work: Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
cites work: Splitting the Pasch axiom
cites work: Q4373953
cites work: The simplest axiom system for plane hyperbolic geometry
cites work: Weakly ordered plane geometry
cites work: Forms of the Pasch axiom in ordered geometry
cites work: The simplest axiom system for plane hyperbolic geometry revisited
cites work: The axiomatics of ordered geometry: I. Ordered incidence spaces
cites work: Another splitting of the Pasch axiom
cites work: The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry
cites work: On the simplicity of ordered geometry
cites work: Why did Euclid not need the Pasch axiom?
cites work: Q4064611
cites work: Q4146760
cites work: Euklidische Geometrie ohne das Axiom von Pasch
cites work: Q3223453
cites work: Q4074001
cites work: Q3678266
cites work: Transitivities of Betweenness and Separation and the Definition of Betweenness and Separation Groups
cites work: Ordered metric geometry
cites work: Ordered groups and ordered geometries
cites work: Ordered absolute geometry
cites work: Q5600659
cites work: Q5602596
cites work: Q5602595
cites work: Q3663940
cites work: Q3268764
cites work: Finite Partitions and Their Generators
DOI: 10.1007/S00025-024-02186-4
description: scientific article; zbMATH DE number 7870792