Positive definitions of segment congruence in terms of segment inequality

DOI10.1007/S00010-006-2844-8zbMath1117.51018OpenAlexW2046420803MaRDI QIDQ866809

Victor V. Pambuccian

Publication date: 14 February 2007

Published in: Aequationes Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00010-006-2844-8

zbMATH Keywords

infinitary logicpositive existential definabilitySegment congruencesegment inequality

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ordered geometries (ordered incidence structures, etc.) (51G05) Congruence and orthogonality in metric geometry (51F20) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items (1)

Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry

This page was built for publication: Positive definitions of segment congruence in terms of segment inequality