The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry (Q1926115)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry |
scientific article |
Statements
The non-planarity of \(K_{5}\) and \(K_{3,3}\) as axioms for plane ordered geometry (English)
0 references
27 December 2012
0 references
The author proves the amazing fact that, given the linear order axioms, the Pasch axiom is equivalent to its outer form together with the non-planarity either of \(K_ 5\) or of \(K_{3,3}\). Hence the non-planarity of one of these graphs can be used as an axiom for plane ordered geometry, replacing the Pasch axiom.
0 references
Pasch axiom
0 references
outer form of the Pasch axiom
0 references
non-planar graph
0 references
ordered plane
0 references
splitting an axiom
0 references
