Metric Scott analysis
From MaRDI portal
Publication:2401685
DOI10.1016/j.aim.2017.07.021zbMath1390.03039arXiv1407.7102MaRDI QIDQ2401685
André Nies, Michal Doucha, Todor Tsankov, Itaï Ben Yaacov
Publication date: 4 September 2017
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1407.7102
Gromov-Hausdorff distance; Borel equivalence relations; infinitary logic; continuous logic; Scott sentence; López-Escobar theorem