Effectively open real functions

DOI10.1016/J.JCO.2006.05.002MaRDI QIDQ864433zbMATH OpenOpenAlexFDO

Authors Martin Ziegler

Publication date 8 February 2007

Published in Journal of Complexity (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jco.2006.05.002

zbMATH Keywords

topologycomputable analysisrecursion theoryquantifier eliminationopen mapping theorem

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Theory of numerations, effectively presented structures (03D45) Quantifier elimination, model completeness, and related topics (03C10) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• scientific article; zbMATH DE number 1222103
• Effectivity and effective continuity of multifunctions
• Effectively closed sets and graphs of computable real functions.
• Effective continuities on effective topological spaces
• On the continuity of effective multifunctions

Cites work

• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 52906 (Why is no real title available?)
• scientific article; zbMATH DE number 3437452 (Why is no real title available?)
• scientific article; zbMATH DE number 2079882 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1415503 (Why is no real title available?)
• scientific article; zbMATH DE number 3892029 (Why is no real title available?)
• scientific article; zbMATH DE number 3221041 (Why is no real title available?)
• scientific article; zbMATH DE number 3250708 (Why is no real title available?)
• Algorithms in real algebraic geometry
• An effective Riemann Mapping Theorem
• Computability in linear algebra
• Computability of convex sets
• Computability on Regular Subsets of Euclidean Space
• Computable operators on regular sets
• Equality is a jump
• Foundation of a computable solid modelling.
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the definitions of computable real continuous functions

Cited in

(4)

• Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
• Computability aspects for 1st-order partial differential equations via characteristics
• Computable complex analysis
• Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics

This page was built for publication: Effectively open real functions

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