5 citations · 11 across the 18 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
Computable topological abelian groups
Martino Lupini, Alexander Melnikov, Andre Nies
We study the algorithmic content of Pontryagin - van Kampen duality. We prove that the dualization is computable in the important cases of compact and locally compact totally disco…
math.LO2021
Logic Blog 2020
Andre Nies
This year's blog has focused on the connections of group theory with logic and algorithms. The first post is on automata presentable groups. Then there are several posts related to…