2 papers
math.LO2026
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…
math.LO2024
Maximal towers and ultrafilter bases in computability
Steffen Lempp, Joseph S. Miller, Andre Nies +1
The tower number and the ultrafilter number are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subse…