A proof of Pasch's axiom in the absolute theory of oriented parallelity (Q1207028)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A proof of Pasch's axiom in the absolute theory of oriented parallelity |
scientific article |
Statements
A proof of Pasch's axiom in the absolute theory of oriented parallelity (English)
0 references
4 May 1993
0 references
Given a set \({\mathbf S}\) (points) and a relation \(\upharpoonleft \upharpoonright\) on \({\mathbf S}\times{\mathbf S}\) (oriented parallelity) such that a system of ten axioms holds true. Examples are obtained from affine ordered spaces where \((a,b)\upharpoonleft \upharpoonright(a,c)\) means that \(a,b,c\) are collinear and \(b\) lies between \(a\) and \(c\), or \(c\) lies between \(a\) and \(b\); generally, \((a,b)\upharpoonleft \upharpoonright(c,d)\) if \(c\varphi=a\) and \((a,b)\upharpoonleft \upharpoonright(a,d\varphi)\) for an appropriate composition of parallel projections \(\varphi\). The author discusses the Pasch-axiom within this frame.
0 references
ordered incidence structures with parallelism
0 references
absolute geometry
0 references