Summary.
It is shown that segment congruence can be defined by means of a positive existential definition in terms of segment inequality in several geometries over Archimedean ordered fields, and that it can be defined by means of a positive sentence in n-dimensional Euclidean geometry over arbitrary ordered fields.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Manuscript received: March 2, 2005 and, in final form, October 3, 2005.
Rights and permissions
About this article
Cite this article
Pambuccian, V. Positive definitions of segment congruence in terms of segment inequality. Aequ. math. 72, 243–253 (2006). https://doi.org/10.1007/s00010-006-2844-8
Issue Date:
DOI: https://doi.org/10.1007/s00010-006-2844-8