Andreas Hallbäck
YOU?
Author Swipe
View article: CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS Open
We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially…
View article: Continuous logic and Borel equivalence relations
Continuous logic and Borel equivalence relations Open
We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially…
View article: Théorie des modèles métriques, groupes polonais et diversités
Théorie des modèles métriques, groupes polonais et diversités Open
We study metric model theory and Polish groups as automorphism groups of separable metric structures. We expand upon the infinitary continuous logic treated in [12, 11, 23, 27] and give a new proof of the Omitting Types Theorem of infinita…
View article: Automorphism groups of universal diversities
Automorphism groups of universal diversities Open
We prove that the automorphism group of the Urysohn diversity is a universal Polish group. Furthermore we show that the automorphism group of the rational Urysohn diversity has ample generics, a dense conjugacy class and that it embeds den…