Notes on computable analysis

DOI10.1007/S00224-016-9732-YzbMath1420.03114OpenAlexW2560357192MaRDI QIDQ519888

Michelle Porter, Rodney G. Downey, Adam R. Day

Publication date: 31 March 2017

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-016-9732-y

zbMATH Keywords

convex setscomputable analysisDarboux propertyBlaschke selection theoremBorel computablecomputable realcomputable real-valued functionMarkov computabletype II computable

Mathematics Subject Classification ID

Foundations: limits and generalizations, elementary topology of the line (26A03) Computation over the reals, computable analysis (03D78)

Related Items (3)

Cousin’s lemma in second-order arithmetic ⋮ Turing reducibility in the fine hierarchy ⋮ Computability of Subsets of Metric Spaces

Cites Work

• Zur rekursiven Funktionentheorie
• Computability of Julia sets
• Square root approximations in Old Babylonian mathematics: YBC 7289 in context
• A Banach-Mazur computable but not Markov computable function on the computable real numbers
• Recursive analysis
• Turing's Legacy
• A Function That Is Surjective on Every Interval
• Effective genericity and differentiability
• Algorithmic Randomness and Complexity
• Computable functionals
• On a simple definition of computable function of a real variable‐with applications to functions of a complex variable
• Recursively enumerable sets and degrees
• The question of finitely many steps in polynomial ideal theory
• Degrees of unsolvability of continuous functions
• Uniform limits of Darboux functions
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• Nicht konstruktiv beweisbare Sätze der Analysis
• Recursive Real Numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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: Notes on computable analysis