Notions of closed subsets of a complete separable metric space in weak subsystems of second-order arithmetic
1990 ◽
pp. 39-50
◽
2005 ◽
Vol 11
(4)
◽
pp. 526-533
◽
2006 ◽
Vol 06
(02)
◽
pp. 203-232
◽
Keyword(s):
Keyword(s):