Computably locally compact groups and their closed subgroups

Alexander G. Melnikov, Andre Nies

Given a computably locally compact Polish space $M$, we show that its 1-point compactification $M^{\ast }$ is computably compact. Then, for a computably locally compact group $G$, we sho…