Another splitting of the Pasch axiom

DOI10.1007/S00025-010-0086-5MaRDI QIDQ545487zbMATH OpenOpenAlexWikidataFDO

Authors Victor V. Pambuccian

Publication date 22 June 2011

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

Full work available at URL https://doi.org/10.1007/s00025-010-0086-5

zbMATH Keywords

inner and outer form of Pasch axiomordered planar domainPasch axiomsplitting 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

The author investigates ordered planar domains, which are axiomatized in terms of points and a ternary betweenness relation. In this setting, the inner and the outer form of the Pasch axiom are not equivalent. The author shows that the full Pasch axiom is equivalent to its inner form together with a statement on the intersection of segments involving five variables.

Recommendations

• Forms of the Pasch axiom in ordered geometry
• On the simplicity of ordered geometry
• Splitting the Pasch axiom
• The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry
• Variations on a theme of Euclid

Cites work

• Concerning the order and the semi-order of n-dimensional Euclidean space
• Eine Bemerkung über den Desarguesschen und den Pascalschen Satz
• Forms of the Pasch axiom in ordered geometry
• scientific article; zbMATH DE number 3876072 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 1142756 (Why is no real title available?)
• scientific article; zbMATH DE number 3324395 (Why is no real title available?)
• scientific article; zbMATH DE number 3386466 (Why is no real title available?)
• Klassifizierung von Halbordnungen. (On classifications of halforderings)
• On the stepwise construction of the parallel postulate
• Splitting the Pasch axiom
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Weakly ordered plane geometry

Cited in

(8)

• Pasch or Veblen axiom?
• Splitting the Pasch axiom
• The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry
• On the simplicity of ordered geometry
• Forms of the Pasch axiom in ordered geometry
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Weakly ordered plane geometry
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5

This page was built for publication: Another splitting of the Pasch axiom

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