Related papers: Locally Solvable Subgroups of PLo(I)

We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of…

We show that for any $i > 0$, it is decidable, given a regular language, whether it is expressible in the $\Sigma_i[<]$ fragment of first-order logic FO[<]. This settles a question open since 1971. Our main technical result relies on the…

In this paper we define countable-configuration of groups and prove that two Hopfian groups with the same set of countable-configurations are isomorphic and vice versa. We also study the countable paradoxical decomposition of groups. It is…

We have developed polynomial-time algorithms to generate terms of the cogrowth series for groups $\mathbb{Z}\wr \mathbb{Z},$ the lamplighter group, $(\mathbb{Z}\wr \mathbb{Z})\wr \mathbb{Z}$ and the Navas-Brin group $B.$ We have also given…

We announce various results concerning the structure of compactly generated simple locally compact groups. We introduce a local invariant, called the structure lattice, which consists of commensurability classes of compact subgroups with…

We investigate the computability of the isomorphism set $\operatorname{Iso}(G_A,G_B)$ between $G_A$ and $G_B$, where $G_A$ is a subgroup of $\mathbb{Q}^n$ generated by columns of integer powers of a non-singular $n \times n$-matrix $A$ with…

We say that a finitely generated group $\Gamma$ is self-simulable if every effectively closed action of $\Gamma$ on a closed subset of $\{\texttt{0},\texttt{1}\}^{\mathbb{N}}$ is the topological factor of a $\Gamma$-subshift of finite type.…

We investigate the complexity of the lattice of local clones over a countably infinite base set. In particular, we prove that this lattice contains all algebraic lattices with at most countably many compact elements as complete sublattices,…

We study the existence of uncountable first-order structures that are homogeneous with respect to their finitely generated substructures. In many classical cases this is either well-known or follows from general facts, for example, if the…

Given a definably amenable approximate subgroup $A$ of a (local) group in some first-order structure, there is a type-definable subgroup $H$ normalised by $A$ and contained in $A^4$ such that every definable superset of $H$ has positive…

By the Thurston stability theorem, a group of C^1 orientation-preserving diffeomorphisms of the closed unit interval is locally indicable. We show that the local order structure of orbits gives a stronger criterion for nonsmoothability that…

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…

The goal of this paper is to construct quasi-isometrically embedded subgroups of Thompson's group $F$ which are isomorphic to $\fz^n$ for all $n$. A result estimating the norm of an element of Thompson's group is found. As a corollary,…

We determine which of the finite-type Artin groups are locally indicable, and compute presentations for their commutator subgroups.

We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr S$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are non-discrete. Given…

We present a simple-to-apply criterion for recognizing topological groups that are (locally) homeomorphic to LF-spaces.

We investigate some situation in which automorphisms of a group G are uniquely determined by their restrictions to a proper subgroup H. Much of the paper is devoted to studying under which additional hypotheses this property forces G to be…

We study left invariant locally conformally product structures on simply connected Lie groups and give their complete description in the solvable unimodular case. Based on previous classification results, we then obtain the complete list of…

There are a variety of results in the literature proving forms of computability for topological entropy and pressure on subshifts. In this work, we prove two quite general results, showing that topological pressure is always computable from…

We prove that there is a second countable locally compact group that does not embed as a closed subgroup in any compactly generated locally compact group, and discuss various related embedding and non-embedding results.