On the simplicity of ordered geometry

DOI10.1007/S00022-013-0155-5MaRDI QIDQ1956325zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 13 June 2013

Published in Journal of Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00022-013-0155-5

zbMATH Keywords

inner and outer form of the Pasch axiomordered planesPasch axiomPasch's theoremsimplicitysplitting an axiom

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ordered geometries (ordered incidence structures, etc.) (51G05) Axiomatic and generalized convexity (52A01)

Review text

In the axiomatic framework of ordered planes, all axioms can be expressed with at most four variables, with the exception of the Pasch axiom, which requires six variables. The author shows that the Pasch axiom can be replaced by the conjunction of Pasch's theorem with the weak crossbar theorem, which require six resp. five variables for their formulation. This yields a simplest axiom system for ordered planes. The question whether it is possible to replace the Pasch axiom by axioms which require only five variables remains open.

Recommendations

• scientific article; zbMATH DE number 727656
• scientific article; zbMATH DE number 966303
• scientific article; zbMATH DE number 6157247
• Geometric simplicity theory
• A constructive theory of ordered affine geometry
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• On the complexity of some geometrical objects
• scientific article; zbMATH DE number 69210
• On the order dimension of convex geometries
• scientific article; zbMATH DE number 4181341

Cites work

• A proof of Pasch's axiom in the absolute theory of oriented parallelity
• Another splitting of the Pasch axiom
• Concerning the order and the semi-order of n-dimensional Euclidean space
• Eine Bemerkung zum Axiom von Pasch in Hilberts 'Grundlagen der Geometrie'
• Euclidean and Non-Euclidean Geometries Without Continuity
• Forms of the Pasch axiom in ordered geometry
• scientific article; zbMATH DE number 3152667 (Why is no real title available?)
• scientific article; zbMATH DE number 4146970 (Why is no real title available?)
• scientific article; zbMATH DE number 3502291 (Why is no real title available?)
• scientific article; zbMATH DE number 3504031 (Why is no real title available?)
• scientific article; zbMATH DE number 720249 (Why is no real title available?)
• scientific article; zbMATH DE number 1112294 (Why is no real title available?)
• scientific article; zbMATH DE number 885314 (Why is no real title available?)
• Simplicity
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry
• The simplest axiom system for plane hyperbolic geometry
• The simplest axiom system for plane hyperbolic geometry revisited
• Weakly ordered plane geometry

Cited in

(10)

• A proof of Pasch's axiom in the absolute theory of oriented parallelity
• The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry
• An axiomatic look at a windmill
• Forms of the Pasch axiom in ordered geometry
• scientific article; zbMATH DE number 727656 (Why is no real title available?)
• scientific article; zbMATH DE number 885314 (Why is no real title available?)
• Another splitting of the Pasch axiom
• Simplifying the axiomatization for ordered affine geometry via a theorem prover
• Weakly ordered plane geometry
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5

This page was built for publication: On the simplicity of ordered geometry

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