Recursive analysis
From MaRDI portal
Cited in
(26)- Approximability of operators in constructive metric spaces
- On an approximative version of the notion of constructive analytic function
- On the relationship between algebra and analysis
- Markov's constructive analysis; a participant's view
- 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
- Studies in constructive mathematics and mathematical logic. Part IX
- A blend of methods of recursion theory and topology.
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
- Effective simultaneous approximability of reals.
- A blend of methods of recursion theory and topology: a _1⁰ tree of shadow points
- Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics
- The primitive recursive analysis of ordinary differential equations and the complexity of their solutions
- Strong reducibilities
- Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
- Foundations of online structure theory. II: The operator approach
- Notes on computable analysis
- R. L. Goodstein and mathematical logic
- Primitive recursive ordered fields and some applications
- On a finitary version of mathematical analysis
- COMPUTABLY COMPACT METRIC SPACES
- Computably and punctually universal spaces
- Ordered fields and Grzegorczyk's hierarchy
- A pathological punctually 1-decidable structure
- Primitive recursive ordered fields and some applications
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)
