We study the algorithmic content of Pontryagin-van Kampen duality. We prove that the
process of dualization is computable in the important cases of compact and locally compact …

We show that plane Cremona groups over finite fields embed as dense subgroups into
Neretin groups, that is, groups of almost automorphisms of rooted trees. We also show that if …

We compare several natural notions of effective presentability of a topological space up to
homeomorphism. We note that every left-ce (lowersemicomputable) Stone space is …

Given a computably locally compact Polish space $ M $, we show that its 1-point
compactification $ M^* $ is computably compact. Then, for a computably locally compact …

This paper is part of the program of studying large-scale geometric properties of totally
disconnected locally compact groups, TDLC-groups, by analogy with the theory for discrete …

In several instances, the invariants of compactly generated totally disconnected locally
compact groups acting on locally finite buildings can be conveniently described via …

We show how finiteness properties of a group and a subgroup transfer to finiteness
properties of the Schlichting completion relative to this subgroup. Further, we provide a …

The main objects of study in this article are pairs (G, H) where G is a topological group with a
compact open subgroup, and H is a finite collection of open subgroups. We develop …

The class of locally compact groups generalises discrete and Lie groups. Locally compact
groups came to light in the first half of the 20th century, and since then they have played a …

It is shown that a Stallings-Swan theorem holds in a totally disconnected locally compact (=
tdlc) context. More precisely, a compactly generated CO-bounded tdlc group of rational …