Počet záznamů: 1
Metric Scott analysis
- 1.
SYSNO ASEP 0476964 Druh ASEP J - Článek v odborném periodiku Zařazení RIV Záznam nebyl označen do RIV Poddruh J Článek ve WOS Název Metric Scott analysis Tvůrce(i) Ben Yaacov, I. (FR)
Doucha, Michal (MU-W) RID, SAI, ORCID
Nies, A. (FR)
Tsankov, T. (FR)Zdroj.dok. Advances in Mathematics. - : Elsevier - ISSN 0001-8708
Roč. 318, October (2017), s. 46-87Poč.str. 42 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova continuous logic ; infinitary logic ; Scott sentence Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics Institucionální podpora MU-W - RVO:67985840 UT WOS 000410020500002 EID SCOPUS 85026424504 DOI 10.1016/j.aim.2017.07.021 Anotace We develop an analogue of the classical Scott analysis for metric structures and infinitary continuous logic. Among our results are the existence of Scott sentences for metric structures and a version of the López-Escobar theorem. We also derive some descriptive set theoretic consequences: most notably, that isomorphism on a class of separable structures is a Borel equivalence relation iff their Scott rank is uniformly bounded below omega1. Finally, we apply our methods to study the Gromov–Hausdorff distance between metric spaces and the Kadets distance between Banach spaces, showing that the set of spaces with distance 0 to a fixed space is a Borel set. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2018
Počet záznamů: 1