Positive definitions of segment congruence in terms of segment inequality

DOI10.1007/S00010-006-2844-8MaRDI QIDQ866809zbMATHOpenAlexFDO

Authors 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

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

Recommendations

• Some sufficient conditions on equality of positive element classes
• Equality relating Euclidean distance cone to positive semidefinite cone
• A note on positively invariant cones
• Positive sextics and Schur's inequalities
• Affine congruence by dissection of intervals
• A Note on Positive Equivalence Relations
• Inequalities among means of two positive arguments in index (conjugate index) sets
• Symmetries of the positive semidefinite cone
• Representation of positive semirings by sections
• scientific article; zbMATH DE number 1785925

Cited in

(2)

• Alexandrov-Zeeman type theorems expressed in terms of definability
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866809)