Computably totally disconnected locally compact groups

Alexander Melnikov, Andre Nies

We study totally disconnected, locally compact (t.d.l.c.) groups from an algorithmic perspective. We give various approaches to defining computable presentations of t.d.l.c.\ group…