Related papers: Computably totally disconnected locally compact gr…

A group $G$ is called hereditarily non-topologizable if, for every $H\le G$, no quotient of $H$ admits a non-discrete Hausdorff topology. We construct first examples of infinite hereditarily non-topologizable groups. This allows us to prove…

The objective of this series is to study metric geometric properties of (coarse) disjoint unions of amenable Cayley graphs. We employ the Cayley topology and observe connections between large scale structure of metric spaces and group…

Common definitions of the "standard" LOCAL model tend to be sloppy and even self-contradictory on one point: do the nodes update their state using an arbitrary function or a computable function? So far, this distinction has been safe to…

We prove that a large class of metrizable group topologies for subgroups of $\mathbb{R}^n$ and the completions of the subgroups are locally isometric to, respectively, metrizable group topologies for $\mathbb{Z}$ and their completions,…

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

We prove that numerous negatively curved simply connected locally compact polyhedral complexes, admitting a discrete cocompact group of automorphisms, have automorphism groups which are locally compact, uncountable, non linear and virtually…

We investigate whether every computable member of a given class of structures admits a fully primitive recursive (also known as punctual) or fully P-TIME copy. A class with this property is referred to as punctually robust or P-TIME robust,…

We explore representing the compact subsets of a given represented space by infinite sequences over Plotkin's $\mathbb{T}$. We show that computably compact computable metric spaces admit representations of their compact subsets in such a…

This paper is devoted to the study of noncommutative ergodic theorems for connected amenable locally compact groups. For a dynamical system $(\mathcal{M},\tau,G,\sigma)$, where $(\mathcal{M},\tau)$ is a von Neumann algebra with a normal…

We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…

We consider general integrable systems on graphs as discrete flat connections with the values in loop groups. We argue that a certain class of graphs is of a special importance in this respect, namely quad-graphs, the cellular…

This paper introduces a notion of presentation for locally inverse semigroups and develops a graph structure to describe the elements of locally inverse semigroups given by these presentations. These graphs will have a role similar to the…

We demonstrate that And\'ujar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple…

We present a generalization of standard Turing machines based on allowing unusual tapes. We present a set of reasonable constraints on tape geometry and classify all tapes conforming to these constraints. Surprisingly, this generalization…

A compact manifold $M$ together with a Riemannian metric $h$ on its universal cover $\tilde M$ for which $\pi_1(M)$ acts by similarities is called a similarity structure. In the case where $\pi_1(M) \not\subset \mathrm{Isom}(\tilde M, h)$…

We introduce a class of toposes called "absolutely locally compact" toposes and of "admissible" sheaf of rings over such toposes. To any such ringed topos $(\mathcal{T},A)$ we attach an involutive convolution algebra…

Recently, sub-indices and sub-factors of groups with connections to number theory, additive combinatorics, and factorization of groups have been introduced and studied. Since all group subsets are considered in the theory and there are many…

We arrange classical small cancellation constructions to produce left-orderable groups: we show that every finitely generated group is the quotient of a left-ordered small cancellation group by a finitely generated kernel (Rips…

We propose a new version of generalized probabilistic propositional logic, namely, discrete-continuous logic (DCL) in which every generalized proposition (GP) is represented as 2x2 nondiagonal positive matrix with unit trace. We demonstrate…

A locally conformally product (LCP) structure on a compact conformal manifold is a closed non-exact Weyl connection (i.e.~a linear connection which is locally but not globally the Levi-Civita connection of Riemannian metrics in the…