The following pages link to (Q3849892):
Displaying 3 items.
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291) (← links)
- On a finitary version of mathematical analysis (Q5957917) (← links)