Related papers: Representing Polish groupoids via metric structure…

Answering a question of Gao and Kechris, we show that, given any polish group G, there exists a closed subset F of Urysohn's universal metric space U such that G is (topologically) isomorphic to the subgroup of isometries of U which map F…

It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively…

A variation of the Scott analysis of countable structures is applied to actions of non-Archimedean TSI Polish groups acting continuously on a Polish spaces. We give results on the potential Borel complexity spectrum of such groups, and…

We study the complexity with respect to Borel reducibility of the relations of isometry and isometric embeddability between ultrametric Polish spaces for which a set $D$ of possible distances is fixed in advance. These are, respectively, an…

We prove that, if $G$ is a second-countable topological group with a compatible right-invariant metric $d$ and $(\mu_{n})_{n \in \mathbb{N}}$ is a sequence of compactly supported Borel probability measures on $G$ converging to invariance…

The notion of locally quasi-convex abelian group, introduce by Vilenkin, is extended to maximally almost-periodic non-necessarily abelian groups. For that purpose, we look at certain bornologies that can be defined on the set…

In recent years, much work has been done to measure and compare the complexity of orbit equivalence relations, especially for certain classes of Polish groups. We start by introducing some language to organize this previous work, namely the…

Let $G$ be a topological group and let $\mu$ be the Lebesgue measure on the interval $[0,1]$. We let $L_0(G)$ to be the topological group of all $\mu$-equivalence classes of $\mu$-measurable functions defined on [0,1] with values in $G$,…

By using a Borel density theorem for algebraic quotients, we prove a theorem concerning isometric actions of a Lie group $G$ on a smooth or analytic manifold $M$ with a rigid $\mathrm{A}$-structure $\sigma$. It generalizes Gromov's…

This paper introduces a canonical Polish groupoid associated to any separable unital C*-algebra, termed the unitary conjugation groupoid. It is defined as the semidirect product of the algebra's dual space by its unitary group, acting by…

Let $S_\infty$ denote the topological group of permutations of the natural numbers. We study the complexity of the isomorphism relation on classes of closed subgroups $S_\infty$ in the setting of Borel reducibility between equivalence…

We introduce the notion of measurable bounded cohomology for measured groupoids, extending continuous bounded cohomology of locally compact groups. We show that the measurable bounded cohomology of the semidirect groupoid associated to a…

In this paper, we prove several results concerning Polish group topologies on groups of non-singular transformation. We first prove that the group of measure-preserving transformations of the real line whose support has finite measure…

We prove that no quantifier-free formula in the language of group theory can define the $\aleph_1$-half graph in a Polish group, thus generalising some results from [6]. We then pose some questions on the space of groups of automorphisms of…

Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral semantics for the basic modal language has already been well…

We prove in ZF a recursive-theoretic characterization of the Topological Vaught Conjecture by revisiting the fact that orbits in Polish $G$-spaces are Borel sets.

In his PhD Thesis Konstantinos Beros proved a number of results about compactly generated subgroups of Polish groups. Such a group is K-sigma - the countable union of compact sets. He notes that the group of rationals under addition with…

Following a similar result of Uspenskij on the unitary group of a separable Hilbert space we show that with respect to the lower (or Roelcke) uniform structure the Polish group $G= \Aut(\mu)$, of automorphisms of an atomless standard Borel…

In the late $70$'s Feldman and Moore defined the cohomology associated to a countable equivalence relation with coefficients in an Abelian Polish group. When the equivalence relation is the orbital one, that is it is induced by a measure…

We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of…