Conservatively approximable functions

DOI10.1007/978-3-642-35722-0_28MaRDI QIDQ3455861zbMATH OpenOpenAlexFDO

Authors Sebastian Wyman

Publication date 11 December 2015

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35722-0_28

zbMATH Keywords

computabilitycomputable analysiseffective symbolic dynamicseffectively closed sets

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Constructive and recursive analysis (03F60) Constructive real analysis (26E40) Symbolic dynamics (37B10)

Recommendations

• Effectively closed sets and graphs of computable real functions.
• Computable symbolic dynamics
• scientific article; zbMATH DE number 3941529
• Type 2 computational complexity of functions on Cantor's space
• Feedback computability on Cantor space

Cites work

• Computability of countable subshifts
• Computability on continuous, lower semi-continuous and upper semi-continuous real functions
• Degrees of difficulty of generalized r.e. separating classes
• scientific article; zbMATH DE number 3110190 (Why is no real title available?)
• Mass Problems and Randomness
• Non-computable Julia sets
• On the computability of fractal dimensions and Hausdorff measure
• On the computational power of dynamical systems and hybrid systems
• On the dynamics and recursive properties of multidimensional symbolic systems

This page was built for publication: Conservatively approximable functions

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