Metric Scott analysis

Prelegent(ci)

Todor Tsankov

Afiliacja

Université Paris Diderot

Termin

6 kwietnia 2016 16:15

Pokój

p. 5050

Seminarium

Seminarium „Topologia i teoria mnogości”

---

Back-and-forth equivalence relations have been an important tool in
model theory and descriptive set theory since their advent in the fifties. They provide Borel approximations to the isomorphism relation that are useful in a variety of settings and are particularly important in infinitary model theory. In this work, we extend the theory to metric structures and describe the connections with infinitary continuous logic. Many classical results have a continuous counterpart (for example, the existence of Scott rank, the Lopez-Escobar theorem, etc.) but also new features appear that have no analogue in the classical setting and allow the study of equivalence relations other than isomorphism. This is joint work with I. Ben Yaacov, M. Doucha, and A. Nies.

---