Forms of the Pasch axiom in ordered geometry
From MaRDI portal
Publication:3406446
DOI10.1002/MALQ.200810032zbMATH Open1202.51010OpenAlexW1974501489WikidataQ114018697 ScholiaQ114018697MaRDI QIDQ3406446FDOQ3406446
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
Recommendations
Foundations of classical theories (including reverse mathematics) (03B30) Structure of proofs (03F07) Ordered geometries (ordered incidence structures, etc.) (51G05)
Cites Work
- Structural proof theory. With an appendix by Aarne Ranta
- Cut Elimination in the Presence of Axioms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Concept of Join System and Its Basic Properties
- A proof of Pasch's axiom in the absolute theory of oriented parallelity
- Title not available (Why is that?)
- Concerning the order and the semi-order of n-dimensional Euclidean space
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Splitting the Pasch axiom
- Title not available (Why is that?)
Cited In (9)
- The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
- Another splitting of the Pasch axiom
- Weakly ordered plane geometry
- 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
- Title not available (Why is that?)
Uses Software
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)
