Abstract
We prove that one can define the relation ∥, with ab ∥ cd to be read as 'a = 6 or c = d or aft and cd are parallel lines (or coincide)' positively existentially in Lw1win terms of ≠ and the ternary relation B of betweenness, with B(abc) to be read as '6 lies between a and c' in Archimedean ordered affine geometry. We also show that a self-map of an Archimedean ordered translation plane or of a flat affine plane which preserves both B and ¬B must be a surjective affine mapping.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 1501-1521 |
| Number of pages | 21 |
| Journal | Rocky Mountain Journal of Mathematics |
| Volume | 41 |
| Issue number | 5 |
| DOIs | |
| State | Published - 2011 |
ASJC Scopus subject areas
- General Mathematics
Fingerprint
Dive into the research topics of 'Positive existential definability of parallelism in terms of betweenness in archimedean ordered affine geometry'. Together they form a unique fingerprint.Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS