Author:
Bridges Douglas,Diener Hannes
Funder
Royal Society of New Zealand
Bridges by Marsden Award
Mathematics & Statistics Department of the University of Canterbury
Reference26 articles.
1. P. Aczel M. Rathjen Notes on Constructive Set Theory. Report No. 40, Institut Mittag-Leffler (Royal Swedish Academy of Sciences, 2001).
2. M. J. Beeson Foundations of Constructive Mathematics (Springer-Verlag, 1985).
3. J. Berger The logical strength of the uniform continuity theorem. In: Logical Approaches to Computational Barriers, Lecture Notes in Computer Science 3988 (A. Beckmann, U. Berger, B. Löwe, and J. V. Tucker, eds.), pp. 35-39 (Springer-Verlag, 2006).
4. A fan-theoretic equivalent of the antithesis of Specker's theorem;Berger;Proc. Koninklijke Nederlandse Akad. Weten. Indag. Math. (NS),2007
5. Some notes on continuity in constructive analysis;Bridges;Bulletin London Math. Soc.,1976
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献