Linear Metrics and Effective Separating Sequences
Zvonko Iljazović, Anita Kuruc, Lucija Validžić · British Journal of Mathematics & Computer Science · 2015
On the real line equipped with the Euclidean metric every two effective separating sequences which have a common computable point are equivalent.We prove that the same result holds for every linear metric on the real line.