Recursive analysis
From MaRDI portal
Cited in
(26)- Primitive recursive ordered fields and some applications
- Effective simultaneous approximability of reals.
- On the relationship between algebra and analysis
- Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
- Primitive recursive ordered fields and some applications
- The primitive recursive analysis of ordinary differential equations and the complexity of their solutions
- COMPUTABLY COMPACT METRIC SPACES
- Markov's constructive analysis; a participant's view
- Approximability of operators in constructive metric spaces
- On an approximative version of the notion of constructive analytic function
- A blend of methods of recursion theory and topology.
- Studies in constructive mathematics and mathematical logic. Part IX
- On a finitary version of mathematical analysis
- Computably and punctually universal spaces
- Strong reducibilities
- Ordered fields and Grzegorczyk's hierarchy
- Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics
- R. L. Goodstein and mathematical logic
- On the computability of fractal dimensions and Hausdorff measure
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
- Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
- scientific article; zbMATH DE number 7407778 (Why is no real title available?)
- Notes on computable analysis
- A pathological punctually 1-decidable structure
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
- A blend of methods of recursion theory and topology: a _1⁰ tree of shadow points
This page was built for publication: Recursive analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2546345)
