Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic

DOI10.1007/s001530050103zbMath0905.03040arXivmath/9602203OpenAlexW1993508393MaRDI QIDQ1267845

Mariagnese Giusto, Alberto Marcone

Publication date: 2 February 1999

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9602203

zbMATH Keywords

Lebesgue spacereverse mathematicssubsystems of second-order arithmeticAtsuji spaces

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (5)

Fundamental notions of analysis in subsystems of second-order arithmetic ⋮ Open Questions in Reverse Mathematics ⋮ The (largest) Lebesgue number and its relative version ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ On the mathematical and foundational significance of the uncountable

This page was built for publication: Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic