Prefer a chat interface with context about you and your work?
Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry
Ø ØÓ Ö ×