Another splitting of the Pasch axiom (Q545487): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 00:36, 5 March 2024
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
