On a finitary version of mathematical analysis
From MaRDI portal
Publication:5957917
DOI10.1016/S0168-0072(01)00062-8zbMath0998.03047WikidataQ126556694 ScholiaQ126556694MaRDI QIDQ5957917
Publication date: 20 November 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) Constructive real analysis (26E40) Constructive functional analysis (46S30)
Related Items (1)
Cites Work
- Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
- Binary recursive arithmetic
- Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics
- Some questions in constructive functional analysis
- Recursive analysis
- On the logic of constructive mathematics
- A constructivist theory of plane curves
- A Half-Century of Mathematics
- Function Theory in an Axiom-Free Equation Calculus
- Formal Reductions of the General Combinatorial Decision Problem
- [Russian Text Ignored]
- [Russian Text Ignored.]
- 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: On a finitary version of mathematical analysis