Another splitting of the Pasch axiom (Q545487)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Another splitting of the Pasch axiom |
scientific article; zbMATH DE number 5911444
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Another splitting of the Pasch axiom |
scientific article; zbMATH DE number 5911444 |
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
0.8478378057479858
0 references
0.8263643980026245
0 references
0.8036912679672241
0 references
0.8016431927680969
0 references
0.7978595495223999
0 references
