Abstract
We prove that one can define the relation ‖, with ab ‖ cd to be read as ‘a = b or c = d or ab and cd are parallel lines (or coincide)’ positively existentially in Lω1ω1 in terms of 6= and the ternary relation B of betweenness, with B(abc) to be read as ‘b 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. Mathematics Subject Classification: 51G05, 51F20, 51F05.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
