The following pages link to (Q3849891):
Displaying 9 items.
- Notes on computable analysis (Q519888) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- A sequentially computable function that is not effectively continuous at any point (Q864424) (← links)
- Recursive quasi-metric spaces. (Q1427771) (← links)
- A Banach-Mazur computable but not Markov computable function on the computable real numbers (Q1765159) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- (Q5094901) (← links)
- On V.A. Yankov’s Contribution to the History of Foundations of Mathematics (Q5886463) (← links)
- On a finitary version of mathematical analysis (Q5957917) (← links)
