Pages that link to "Item:Q4939408"
From MaRDI portal
The following pages link to A Constructive Look at Generalised Cauchy Reals (Q4939408):
Displaying 6 items.
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Notions of Cauchyness and metastability (Q1709697) (← links)
- Foundational aspects of multiscale digitization (Q1935768) (← links)
- Implementing constructive real analysis (preliminary report) (Q4594262) (← links)
- Real numbers in the topos of sheaves over the category of filters (Q5939909) (← links)