TY  - RPRT
TI  - Lebesgue numbers and Atsuji spaces in subsystems of second order arithmetic
AU  - Mariagnese Giusto
AU  - Alberto Marcone
PY  - 1996
UR  - https://arxiv.org/abs/math/9602203
ID  - math/9602203
ER  -