Lebesgue numbers and Atsuji spaces in subsystems of second order arithmetic

Mariagnese Giusto, Alberto Marcone

We study properties of complete separable metric spaces within the framework of subsystems of second order arithmetic. In particular we consider Lebesgue and Atsuji spaces. The for…