Pages that link to "Item:Q1956325"
From MaRDI portal
The following pages link to On the simplicity of ordered geometry (Q1956325):
Displaying 8 items.
- Another splitting of the Pasch axiom (Q545487) (← links)
- Weakly ordered plane geometry (Q627004) (← links)
- A proof of Pasch's axiom in the absolute theory of oriented parallelity (Q1207028) (← links)
- The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry (Q1926115) (← links)
- An axiomatic look at a windmill (Q2510078) (← links)
- Forms of the Pasch axiom in ordered geometry (Q3406446) (← links)
- Simplifying the axiomatization for ordered affine geometry via a theorem prover (Q6168184) (← links)
- The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5 (Q6561358) (← links)