INFINITE STRINGS AND THEIR LARGE SCALE PROPERTIES - KHOUSSAINOV, BAKH; TAKISAKA, TORU (The Journal of symbolic logic, 2022)
Keywords: 68Q45; quasi-isometry; algorithmic randomness; 68R15; asymptotic cones; Σ03-completeness; 03D05; ultrafilter; 68Q70; Büchi automata; 03D32