Pages that link to "Item:Q1267845"
From MaRDI portal
The following pages link to Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic (Q1267845):
Displayed 5 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Fundamental notions of analysis in subsystems of second-order arithmetic (Q2368910) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- The (largest) Lebesgue number and its relative version (Q6065734) (← links)