Pages that link to "Item:Q1302291"

The following pages link to Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291):

Displaying 14 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)
• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
• A blend of methods of recursion theory and topology. (Q1412834) (← links)
• Beyond recursive real functions (Q1917069) (← links)
• On the Computable Theory of Bounded Analytic Functions (Q2866157) (← links)
• On Turing degrees of points in computable topology (Q3528143) (← links)
• An application of pure recursion theory to recursive analysis (Q3778751) (← links)
• Order-free Recursion on the Real Numbers (Q4336701) (← links)
• Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis (Q4916185) (← links)
• Computable Complex Analysis (Q5024570) (← links)
• When series of computable functions with varying domains are computable (Q5396227) (← links)
• Computable analysis and Blaschke products (Q5429455) (← links)