Pages that link to "Item:Q671999"
From MaRDI portal
The following pages link to A faithful computational model of the real numbers (Q671999):
Displaying 9 items.
- A concrete model of the real numbers (Q974760) (← links)
- Recursive quasi-metric spaces. (Q1427771) (← links)
- Real computations with fake numbers (Q1599196) (← links)
- The essence of ideal completion in quantitative form (Q1605177) (← links)
- Generated quasi-metric hyper and function spaces. (Q1868863) (← links)
- Constructing a quasi-uniform function space (Q1903595) (← links)
- UNIFORMITIES ON FREE SEMIGROUPS (Q4513307) (← links)
- UNIFORMITIES ON FREE SEMIGROUPS (Q4513308) (← links)
- Representations of Reals in Reverse Mathematics (Q5440172) (← links)