Related papers: Torsion-Free Abelian Groups are Borel Complete

We compute the asymptotic dimension of the rationals given with an invariant proper metric. Also, we show that a countable torsion abelian group taken with an invariant proper metric has asymptotic dimension zero.

We give an affirmative answer to a 1976 question of M. Rosen: every abelian group is isomorphic to the class group of an elliptic Dedekind domain R. We can choose R to be the integral closure of a PID in a separable quadratic field…

We show that the class of all Banach spaces which are isomorphic to $ c_{0} $ is a complete analytic set with respect to the Effros Borel structure of separable Banach spaces. The proof employs a recent Bourgain-Delbaen construction by…

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…

The paper gives a complete description of the subgroups of the semigroup of tropical n-by-n matrices up to an isomorphism. In particular, we show that every of these groups has a torsion-free abelian subgroup of index at most n!, proving…

We establish a structure theorem for the connected automorphism groups of smooth complete toroidal horospherical varieties, that is, toric fibrations over rational homogeneous spaces. The key ingredient is a characterization of the Demazure…

Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is…

We show that the set of locally finite Borel graphs with finite Borel asymptotic dimension is $\mathbf{\Sigma}^1_2$-complete. The result is based on a combinatorial characterization of finite Borel asymptotic dimension for graphs generated…

We prove that virtually torsion-free, residually finite groups that are inner-amenable and non-amenable have the cheap 1-rebuilding property, a notion recently introduced by Ab\'ert, Bergeron, Fr\k{a}czyk and Gaboriau. As a consequence, the…

The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In…

We show that the pair given by the power set and by the "Grassmannian"(set of all subgroups) of an arbitrary group behaves very much like the pair given by a projective space and its dual projective space. More precisely, we generalize…

Anabelian geometry suggests that, for suitably geometric objects, their \'etale fundamental groups determine the geometric objects up to isomorphism. From a group-theoretic viewpoint, this philosophy requires rigidity properties, which…

It is shown that images of cross-sections of surjective morphisms $f: \Gamma \longrightarrow \Delta$ of divisible abelian $o$-groups are exactly divisible, tame (equivalently, relative Dedekind complete) and cofinal subgroups of $\Gamma$…

We prove that the conjugacy problem for the automorphism group of the random graph is Borel complete, and discuss the analogous problem for some other countably categorical structures.

The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it…

We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete)…

We obtain a forcing construction that shows that it is consistent that the torsion-free Abelian group $\mathbb{Q}^{(\lambda)}$ admits a Hausdorff group topology which is also $\mathcal{U}$-compact and contains no non-trivial convergent…

We constract various subgroups of the group of isometries of universal Urysohn spaces (unique complete separable metric space which is iniversal and homogeneous) including abelian groups which act transitively, and free groups which are…

We consider two variants of those Abelian groups with all proper characteristic subgroups isomorphic and give an in-depth study of their basic and specific properties in either parallel or contrast to the Abelian groups with all proper…

We show the set of Hopfian countable groups is a complete co-analytic subset of the standard Borel space of countable groups, resolving a question posed by Simon Thomas (https://doi.org/10.1007/s00153-017-0597-9).