Local Compactness for Computable Polish Metric Spaces is \varPi ^1_1 Π 1 1 -complete.

Andr Nies, Slawomir Solecki

Browse the full CiE paper archive.