English
Related papers

Related papers: Universality of group embeddability

200 papers

We introduce the notions of u-amenability and hyper-u-amenability for countable Borel equivalence relations, strong forms of amenability that are implied by hyperfiniteness. We show that treeable, hyper-u-amenable countable Borel…

Logic · Mathematics 2026-02-03 Petr Naryshkin , Andrea Vaccaro

We initiate a quantitative study of measure equivalence (and orbit equivalence) between finitely generated groups, which extends the classical setting of $\mathrm L^p$ measure equivalence. In this paper, our main focus will be on amenable…

Group Theory · Mathematics 2022-04-18 Thiebout Delabie , Juhani Koivisto , François Le Maître , Romain Tessera

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…

Logic · Mathematics 2023-04-05 Shaun Allison

An uncountable $\aleph_1$-free group cannot admit a Polish group topology but an uncountable $\aleph_1$-free abelian group can, as witnessed, for example, by the Baer-Specker group $\mathbb{Z}^\omega$; more strongly, $\mathbb{Z}^\omega$ is…

Logic · Mathematics 2026-03-30 Gianluca Paolini , Saharon Shelah

The first part of the paper centers in the study of embeddability between partially commutative groups. In [KK], for a finite simplicial graph $\Gamma$, the authors introduce an infinite, locally infinite graph $\Gamma^e$, called the…

Group Theory · Mathematics 2015-06-11 Montserrat Casals-Ruiz

We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…

Logic · Mathematics 2007-10-02 Dominique Lecomte

We prove that for any constant $K>0$ there exists a separable group equipped with a complete bi-invariant metric bounded by $K$, isometric to the Urysohn sphere of diameter $K$, that is of `almost-universal disposition'. It is thus an…

Group Theory · Mathematics 2018-02-09 Michal Doucha

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…

Group Theory · Mathematics 2025-09-16 Christian Rosendal , Luis Carlos Suarez

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…

Logic · Mathematics 2021-09-20 Andreas Hallbäck , Maciej Malicki , Todor Tsankov

We introduce the notion of commability between locally compact groups, namely the equivalence relation generated by cocompact inclusions and quotients by compact normal subgroups. We give a classification of focal hyperbolic locally compact…

Group Theory · Mathematics 2017-12-08 Yves Cornulier

We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability…

Dynamical Systems · Mathematics 2026-04-15 François Le Maître

We show that the topology of uniform convergence on bounded sets is compatible with the group law of the automorphism group of a large class of spaces that are endowed with both a uniform structure and a bornology, thus yielding numerous…

Group Theory · Mathematics 2020-01-03 Maxime Gheysens

We resolve the topological version of the Erd\H{o}s Similarity conjecture introduced previously by Gallagher, Lai and Weber. We show that a set is topologically universal on ${\mathbb R}$ if and only if it is of strong measure zero. As a…

Classical Analysis and ODEs · Mathematics 2025-02-19 Yeonwook Jung , Chun-Kit Lai

We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…

Logic · Mathematics 2016-02-02 Tapani Hyttinen , Vadim Kulikov , Miguel Moreno

We use Fra\" iss\' e theoretic methods to construct a universal and ultrahomogeneous abelian separable metric group. We show that such a group is a universal abelian Polish group, thus we provide another proof of a result already discovered…

Logic · Mathematics 2013-10-17 Michal Doucha

We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed…

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…

Logic · Mathematics 2019-11-12 Gianluca Paolini , Saharon Shelah

We develop a unified framework for locating natural properties of algebraic and analytic structures within the Borel hierarchy. Objects are presented as quotients of a universal generator and definability is read directly from the quotient…

Logic · Mathematics 2026-04-20 Tomasz Kania

The concept of a C-approximable group, for a class of finite groups C, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite…

Group Theory · Mathematics 2017-05-25 Nikolay Nikolov , Jakob Schneider , Andreas Thom

We give an algebraic description of the structure of the analytic universal cover of a complex abelian variety which suffices to determine the structure up to isomorphism. More generally, we classify the models of theories of "universal…

Logic · Mathematics 2021-07-14 Martin Bays , Bradd Hart , Anand Pillay