Forms of the Pasch axiom in ordered geometry

DOI10.1002/MALQ.200810032MaRDI QIDQ3406446zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Recommendations

• Another splitting of the Pasch axiom
• Weakly ordered plane geometry
• On the simplicity of ordered geometry
• scientific article; zbMATH DE number 727656
• Ordered metric geometry

Cites work

• scientific article; zbMATH DE number 3155900 (Why is no real title available?)
• scientific article; zbMATH DE number 3876072 (Why is no real title available?)
• scientific article; zbMATH DE number 5008036 (Why is no real title available?)
• scientific article; zbMATH DE number 3816479 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 3014581 (Why is no real title available?)
• scientific article; zbMATH DE number 3320145 (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?)
• A proof of Pasch's axiom in the absolute theory of oriented parallelity
• Concerning the order and the semi-order of n-dimensional Euclidean space
• Cut Elimination in the Presence of Axioms
• Splitting the Pasch axiom
• Structural proof theory. With an appendix by Aarne Ranta
• The Concept of Join System and Its Basic Properties

Cited in

(9)

• scientific article; zbMATH DE number 727656 (Why is no real title available?)
• Another splitting of the Pasch axiom
• Weakly ordered plane geometry
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Axiom systems implying infinity in the foundations of geometry
• The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry
• A constructive version of Tarski's geometry
• On the simplicity of ordered geometry

Describes a project that uses

Uses Software

• Pesca

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

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