Another splitting of the Pasch axiom (Q545487)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Another splitting of the Pasch axiom |
scientific article |
Statements
Another splitting of the Pasch axiom (English)
0 references
22 June 2011
0 references
The author investigates ordered planar domains, which are axiomatized in terms of points and a ternary betweenness relation. In this setting, the inner and the outer form of the Pasch axiom are not equivalent. The author shows that the full Pasch axiom is equivalent to its inner form together with a statement on the intersection of segments involving five variables.
0 references
Pasch axiom
0 references
inner and outer form of Pasch axiom
0 references
ordered planar domain
0 references
splitting an axiom
0 references
