Showing math.LOShow 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.LO2019
On the complexity of classifying Lebesgue spaces
Tyler Brown, Alexander G. Melnikov, Timothy H. McNicholl
Computability theory is used to evaluate the complexity of classifying various kinds of Lebesgue spaces and associated isometric isomorphism problems.