Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (Q640271): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:50, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry |
scientific article |
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