Pages that link to "Item:Q1295392"
From MaRDI portal
The following pages link to Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392):
Displaying 7 items.
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Effective versions of local connectivity properties (Q692887) (← links)
- On degree-preserving homeomorphisms between trees in computable topology (Q926174) (← links)
- Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291) (← links)
- A blend of methods of recursion theory and topology. (Q1412834) (← links)
- On the Computable Theory of Bounded Analytic Functions (Q2866157) (← links)
- When series of computable functions with varying domains are computable (Q5396227) (← links)
