Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II

DOI10.1016/S0168-0072(98)00048-7zbMath0954.03043MaRDI QIDQ1302291

Lawrence Welch, Iraj Kalantari

Publication date: 22 September 1999

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

continuityrecursive analysiscomputabilitycomputable analysispoint-free topologycomputable topologyrecursive topologypoint-free approach to points and functions on topological spacesrecursive functions on topological spaces

Mathematics Subject Classification ID

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (11)

Effectiveness in RPL, with applications to continuous logic ⋮ A blend of methods of recursion theory and topology. ⋮ On Turing degrees of points in computable topology ⋮ On degree-preserving homeomorphisms between trees in computable topology ⋮ When series of computable functions with varying domains are computable ⋮ Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis ⋮ Effective versions of local connectivity properties ⋮ Computable analysis and Blaschke products ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ On the Computable Theory of Bounded Analytic Functions ⋮ Computable Complex Analysis

Cites Work

• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
• Recursive analysis
• Degrees of recursively enumerable topological spaces
• Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
• Algorithmic operators in constructive metric spaces
• Nicht konstruktiv beweisbare Sätze der Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II