14 citations · 33 across the 9 of their papers we have counts for
Showing 2022 · math.LOShow all
3 papers · 2 filters
math.LO2022★ 4 cited
Primitive recursive reverse mathematics
Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu +1
We use a second-order analogy of to investigate the proof-theoretic strength of theorems in countable algebra, analysis, and infinite combinatorics.…
math.LO2022★ 4 cited
Computable topological groups
Heer Tern Koh, Alexander Melnikov, Keng Meng Ng
We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these not…
math.LO2022
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…