Local Compactness for Computable Polish Metric Spaces is $$\varPi ^1_1$$ Π 1 1 -complete
2015 ◽
pp. 286-290
◽
1969 ◽
Vol 130
(1-6)
◽
pp. 277-303
◽
2011 ◽
Vol 4
(6)
◽
pp. 341-343
2016 ◽
Vol 2017
(1)
◽
pp. 17-30
◽
2001 ◽
Vol 37
(1-2)
◽
pp. 169-184
2018 ◽
Vol 6
(8)
◽
pp. 297
2013 ◽
Vol 1
◽
pp. 200-231
◽
Keyword(s):