On the Uniform Computational Content of the Baire Category Theorem
2018 ◽
Vol 59
(4)
◽
pp. 605-636
◽
1987 ◽
Vol 36
(2)
◽
pp. 283-287
◽
Keyword(s):
1986 ◽
Vol 22
(3)
◽
pp. 267-282
◽
Keyword(s):
1975 ◽
Vol 51
(6)
◽
pp. 411-414
◽
Keyword(s):