Login / Signup

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

André NiesSlawomir Solecki
Published in: CiE (2015)
Keyphrases