Recursive analysis
From MaRDI portal
Publication:2546345
zbMath0217.30202MaRDI QIDQ2546345
Publication date: 1961
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Constructive and recursive analysis (03F60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (23)
Primitive recursive ordered fields and some applications ⋮ R. L. Goodstein and mathematical logic ⋮ Approximability of operators in constructive metric spaces ⋮ On an approximative version of the notion of constructive analytic function ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ On the relationship between algebra and analysis ⋮ A blend of methods of recursion theory and topology. ⋮ Primitive recursive ordered fields and some applications ⋮ Notes on computable analysis ⋮ Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis ⋮ A blend of methods of recursion theory and topology: a \(\Pi_1^0\) tree of shadow points ⋮ On a finitary version of mathematical analysis ⋮ 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 ⋮ 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 ⋮ Unnamed Item ⋮ Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II ⋮ Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval ⋮ Studies in constructive mathematics and mathematical logic. Part IX ⋮ Strong reducibilities ⋮ Effective simultaneous approximability of reals.
This page was built for publication: Recursive analysis
