## Lebesgue numbers and Atsuji spaces in subsystems of secondorder arithmetic (1998)

by
Mariagnese Giusto
,
Alberto Marcone

Venue: | Arch. Math. Logic |

Citations: | 4 - 1 self |