Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
From MaRDI portal
Publication:1267845
DOI10.1007/s001530050103zbMath0905.03040arXivmath/9602203MaRDI 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
03F35: Second- and higher-order arithmetic and fragments
Related Items
On the mathematical and foundational significance of the uncountable, The (largest) Lebesgue number and its relative version, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Fundamental notions of analysis in subsystems of second-order arithmetic, Open Questions in Reverse Mathematics