Analysis 63 (1):48-51 (2003)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1093/analys/63.1.48 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
La Physique Dans la Recherche En Mathématiques Constructives.Vincent Ardourel - 2012 - Philosophia Scientae 16:183-208.
Similar books and articles
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - Oxford University Press.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
A Solution to the Surprise Exam Paradox in Constructive Mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Review of Symbolic Logic 5 (4):679-686.
Can Constructive Mathematics Be Applied in Physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.
Sequences of Real Functions on [0, 1] in Constructive Reverse Mathematics.Hannes Diener & Iris Loeb - 2009 - Annals of Pure and Applied Logic 157 (1):50-61.
The Constructive Completion of the Space?Satoru Yoshida - 2005 - Mathematical Logic Quarterly 51 (1):77-82.
Did Bishop Have a Philosophy of Mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
Relationships Between Constructive, Predicative and Classical Systems of Analysis.Solomon Feferman - unknown
On the Constructive Notion of Closure Maps.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Mathematical Logic Quarterly 58 (4-5):348-355.
Analytics
Added to PP index
2009-01-28
Total views
88 ( #106,915 of 2,344,018 )
Recent downloads (6 months)
9 ( #71,484 of 2,344,018 )
2009-01-28
Total views
88 ( #106,915 of 2,344,018 )
Recent downloads (6 months)
9 ( #71,484 of 2,344,018 )
How can I increase my downloads?
Downloads
