Continuous logic and equivalence relations
Speaker:
Maciej Malicki, Institute of Mathematics of the Polish Academy of Sciences
Date and Time:
Tuesday, January 17, 2023 - 2:45pm to 3:40pm
Location:
Fields Institute, Room 230
Abstract:
We will discuss two applications of infinitary continuous logic to complexity of equivalence relations. We will characterize in model-theoretic terms essentially countable isomorphism relations on Borel classes of locally compact Polish metric structures. This gives a new proof of Kechris' theorem that orbit equivalence relations of actions of Polish locally compact groups are essentially countable. We will also show that isomorphism on such classes is always Borel reducible to graph isomorphism. This immediately answers a question of Gao and Kechris whether isometry of locally compact Polish metric spaces is reducible to graph isomorphism. The first result is joint work with Andreas Hallbäck and Todor Tsankov.