Universal First-Order Theory of Relative Nearness for All Metric Spaces
摘要
In the present paper, we solve an open problem mentioned in [3], namely a complete description of the universal first-order theory of relative nearness relation, which is a ternary relation N(w, v, u) which means that $$d(w,v)