Nie jesteś zalogowany | Zaloguj się

Complexity of the isomorphism relation for metric structures

Prelegent(ci)
Maciej Malicki
Afiliacja
Warsaw School of Economics
Termin
27 lutego 2019 16:15
Pokój
p. 5050
Seminarium
Seminarium „Topologia i teoria mnogości”

For a given sentence s in the infinitary logic, one can consider the Borel space M of all countable models satisfying s, and the isomorphism equivalence relation E on M. Hjorth and Kechris found a natural characterization in model-theoretic terms of the situations when E is smooth or essentially countable. We generalize their results to the context of Polish metric structures, and we give a short proof of a theorem of Kechris to the effect that orbit equivalence relations induced by continuous actions of locally compact groups are essentially countable. This is joint work in progress with Todor Tsankov.