Andre Nies and I recently uploaded an article to the logic blog about the computability of compact groups. This was based on some discussion in Oaxaca, Mexico.

In particular, we show when the Haar measure of a compact group is computable, and when a group is a computable profinite group.

The article is titled “On the computability of compact groups”. We thank Alexander Melnikov for a fruitful discussion over email.