Effectivity on continuous functions in topological spaces

DOI10.1016/J.ENTCS.2008.03.018MaRDI QIDQ4918040zbMATH OpenOpenAlexFDO

Authors Tanja Grubba, Klaus Weihrauch, Yatao Xu

Publication date 3 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.03.018

zbMATH Keywords

computable analysisrepresentations of continuous functionsStone-Weierstrass approximation theoremTTE

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Continuous maps (54C05)

Recommendations

• Effective continuities on effective topological spaces
• Computability on computable metric spaces
• Computability on Subsets of Locally Compact Spaces
• Computability on continuous, lower semi-continuous and upper semi-continuous real functions
• scientific article; zbMATH DE number 1088270

Cites work

• Computability on computable metric spaces
• Computability on Regular Subsets of Euclidean Space
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on Subsets of Locally Compact Spaces
• Computability on subsets of metric spaces.
• Computability theory of generalized functions
• Computable functionals
• Computable operators on regular sets
• Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
• Continuity and computability of reachable sets
• Effective properties of sets and functions in metric spaces with computability structure
• scientific article; zbMATH DE number 3113502 (Why is no real title available?)
• scientific article; zbMATH DE number 3680123 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 1969324 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2190887 (Why is no real title available?)
• On computable metrization

Cited in

(9)

• Topological spaces over algorithmic representations of universal algebras
• Products of effective topological spaces and a uniformly computable Tychonoff theorem
• A uniformly computable Implicit Function Theorem
• On computably locally compact Hausdorff spaces
• scientific article; zbMATH DE number 1746030 (Why is no real title available?)
• Towards computability over effectively enumerable topological spaces
• Technical report: computation on the extended complex plane and conformal mapping of multiply-connected domains
• Effective bases and notions of effective second countability in computable analysis
• Effective continuities on effective topological spaces

This page was built for publication: Effectivity on continuous functions in topological spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918040)