The following pages link to (Q4939408):
Displayed 4 items.
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Foundational aspects of multiscale digitization (Q1935768) (← links)
- Real numbers in the topos of sheaves over the category of filters (Q5939909) (← links)