Related papers: The complexity of the classification problem of co…

We study the complexity of the isomorphism relation for various classes of closed subgroups of the group of permutations of the natural numbers. We use the setting of Borel reducibility between equivalence relations on Polish spaces. For…

Using classical results of infinite-dimensional geometry, we show that the isometry group of the Urysohn space, endowed with its usual Polish group topology, is homeomorphic to the separable Hilbert space. The proof is basedon a lemma about…

It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism…

We prove that every open $\sigma$-locally Polish groupoid $G$ is Borel equivalent to the groupoid of models on the Urysohn sphere $\mathbb{U}$ of an $\mathcal{L}_{\omega_1\omega}$-sentence in continuous logic. In particular, the orbit…

We study the class of Borel equivalence relations under continuous reducibility. In particular , we characterize when a Borel equivalence relation with countable equivalence classes is $\Sigma$ 0 $\xi$ (or $\Pi$ 0 $\xi$). We characterize…

It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence…

We extend some results of Carderi and Le Ma\^itre on full groups in the probability context to the infinite measure one: there exists at most one Polish group topology (refining the weak topology and coarser than the uniform topology) on an…

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…

We study certain countable locally finite groups attached to minimal homeomorphisms, and prove that the isomorphism relation on simple, countable, locally finite groups is a universal relation arising from a Borel $S_\infty$-action. This…

We show that if an equivalence relation $E$ on a Polish space is a countable union of smooth Borel subequivalence relations, then there is either a Borel reduction of $E$ to a countable Borel equivalence relation on a Polish space or a…

We show that a Borel action of a standard Borel group which is isomorphic to a sum of a countable abelian group with a countable sum of real lines and circles induces an orbit equivalence relation which is hypersmooth, i.e., Borel reducible…

The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…

We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of…

We prove that a homomorphism $h:X\to Y$ from a (locally compact) Cech-complete topological group $X$ to a topological group $Y$ is continuous if and only if $h$ is Borel-measurable if and only if $h$ is universally measurable (if and only…

We consider classification problems for manifolds and discrete subgroups of Lie groups from a descriptive set-theoretic point of view. This work is largely foundational in conception and character, recording both a framework for general…

A general overview of the phenomenon of automatic continuity of homomorphisms between Polish groups is given. In particular, we study variants and improvements of the closed graph theorem, applying these to the problem of continuity of…

We bound the Borel cardinality of the isomorphism relation for nuclear simple separable C*-algebras: It is turbulent, yet Borel reducible to the action of the automorphism group of the Cuntz algebra O_2 on its closed subsets. The same…

We associate to every action of a Polish group on a standard probability space a Polish group that we call the orbit full group. For discrete groups, we recover the well-known full groups of pmp equivalence relations equipped with the…

We study homeomorphisms and the homeomorphism groups of compact metric spaces using the automorphism groups of projective Fra\"iss\'e limits. In our applications, we investigate the Polish group ${\rm Homeo}(P)$ of all homeomorphisms of the…

We show that a {\it Borel} action of a Polish group on a standard Borel space is Borel isomorphic to a {\it continuous} action of the group on a Polish space, and we apply this result to three aspects of the theory of Borel actions of…