Forms of the Pasch axiom in ordered geometry

DOI10.1002/malq.200810032zbMath1202.51010OpenAlexW1974501489WikidataQ114018697 ScholiaQ114018697MaRDI QIDQ3406446

Victor V. Pambuccian

Publication date: 16 February 2010

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200810032

zbMATH Keywords

independenceordered geometryinner and outer form of the Pasch axiomweak Pasch axiom

Mathematics Subject Classification ID

Structure of proofs (03F07) Foundations of classical theories (including reverse mathematics) (03B30) Ordered geometries (ordered incidence structures, etc.) (51G05)

Related Items (7)

The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry ⋮ Weakly ordered plane geometry ⋮ On the simplicity of ordered geometry ⋮ A constructive version of Tarski's geometry ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ Another splitting of the Pasch axiom ⋮ Axiom systems implying infinity in the foundations of geometry

Uses Software

• Pesca

Cites Work

• A proof of Pasch's axiom in the absolute theory of oriented parallelity
• Splitting the Pasch axiom
• The Concept of Join System and Its Basic Properties
• Concerning the order and the semi-order of n-dimensional Euclidean space
• Cut Elimination in the Presence of Axioms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Forms of the Pasch axiom in ordered geometry