Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (Q640271)
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: Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry |
scientific article; zbMATH DE number 5959795
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry |
scientific article; zbMATH DE number 5959795 |
Statements
Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (English)
0 references
18 October 2011
0 references
The authors show that in Archimedean ordered affine planes, parallelism is positively existentially definable in terms of betweenness and negation of equality. This can be used to prove the following result of \textit{X.-D. Hou} and \textit{G. McColm} [Rocky Mt. J. Math. 38, No. 1, 123--137 (2008; Zbl 1167.26004)]: every self-map of an Archimedean ordered pappian affine plane preserving betweenness in both directions is surjective.
0 references
Archimedean ordered plane
0 references
definability
0 references
0 references
0 references
