Related papers: Classification Strength of Polish Groups: Involvin…

Let $F_{\omega_1}$ be the countable admissible ordinal equivalence relation defined on ${}^\omega 2$ by $x \ F_{\omega_1} \ y$ if and only if $\omega_1^x = \omega_1^y$. It will be shown that $F_{\omega_1}$ is classifiable by countable…

Let H be a product of countably infinite number of copies of an uncountable Polish space X. Let $\Sigma_\xi$ $(\bar {\Sigma}_\xi)$ be the class of Borel sets of additive class \xi for the product of copies of the discrete topology on X (the…

We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on the space of marked groups. We point out that several distinct…

In this article, we introduce a hierarchy on the class of non-archimedean Polish groups that admit a compatible complete left-invariant metric. We denote this hierarchy by $\alpha$-CLI and L-$\alpha$-CLI where $\alpha$ is a countable…

Let $G$ be a simply connected semisimple algebraic group with Lie algebra $\mathfrak g$, let $G_0 \subset G$ be the symmetric subgroup defined by an algebraic involution $\sigma$ and let $\mathfrak g_1 \subset \mathfrak g$ be the isotropy…

We investigate topological AE(0) -groups class of which contains the class of Polish groups as well as the class of all locally compact groups. We establish the existence of an universal AE(0) -group of a given weight as well as the…

For a compact Lie group G we show that if the representing spectrum for Borel cohomology generates its category of modules if G is connected. For a closed subgroup H of G we consider the map C^*(BG)--->C^*(BH) and establish the sense in…

The set of increasing functions on the rational numbers, equipped with the composition operation, naturally forms a topological semigroup with respect to the topology of pointwise convergence in which a sequence of increasing functions…

The notion of strong measure zero is studied in the context of Polish groups. In particular, the extent to which the theorem of Galvin, Mycielski and Solovay holds in the context of an arbitrary Polish group is studied. Hausdorff measure…

Let G be a second-countable locally-compact Hausdorff groupoid with a Haar system, and let {x_n} be a sequence in the unit space of G. We show that the notions of strength of convergence of {x_n} in the orbit space and measure-theoretic…

We consider the isometry group of the infinite dimensional separable hyperbolic space with its Polish topology. This topology is given by the pointwise convergence. For non-locally compact Polish groups, some striking phenomena like…

In this paper we address the question: How many pairwise non-isomorphic extremely amenable groups are there which are separable metrizable or even Polish? We show that there are continuum many such groups. In fact we construct continuum…

We introduce the notion of $(\Gamma,E)$-determinacy for $\Gamma$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where…

Let $\Aut(G)$ denote the group of (bi-)continuous automorphisms %and $\Out(G)$ the outer automorphism group of a non-Archimedean Polish group~$G$. We show that for any such $G$ with an invariant countable basis of open subgroups, the group…

Given a space $X$ we investigate the descriptive complexity class $\G_X$ of the set $\FF_0(X)$ of all its closed zero-dimensional subsets, viewed as a subset of the hyperspace $\FF(X)$ of all closed subsets of $X$. We prove that $\max \{…

A Polish group $G$ has the generic point property if any minimal $G$-flow admits a comeager orbit, or equivalently if the universal minimal flow (UMF) does. The class $\mathsf{GPP}$ of such Polish groups is a proper extension of the class…

We show that, on any given finite Borel measure space with the ambient space being a Polish metric space, every Borel real-valued function is almost a bounded, uniformly continuous function in the sense that for every $\varepsilon > 0$…

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…

Given Polish space ${\bf Y}$ and continuous language $L$ we study the corresponding logic $\mathsf{Iso}({\bf Y})$-space ${\bf Y}_L$. We build a framework of generalized model theory towards analysis of Borel/algorithmic complexity of…

We prove that any strongly mixing action of a countable abelian group on a probability space has higher order mixing properties. This is achieved via introducing and utilizing $\mathcal R$-limits, a notion of convergence which is based on…