Effectively open real functions

DOI10.1016/J.JCO.2006.05.002zbMATH Open1126.03042OpenAlexW2040831823MaRDI QIDQ864433FDOQ864433

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithms in real algebraic geometry
• On Computable Numbers, with an Application to the Entscheidungsproblem
• An effective Riemann Mapping Theorem
• On the definitions of computable real continuous functions
• Computability in linear algebra
• Foundation of a computable solid modelling.
• Computable operators on regular sets
• Computability on Regular Subsets of Euclidean Space
• Title not available (Why is that?)
• Equality is a jump
• Title not available (Why is that?)
• Computability of convex sets
• Title not available (Why is that?)

Cited In (4)

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

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)