Publisher
Springer Science and Business Media LLC
Reference25 articles.
1. Aczel, P., Rathjen, M.J.: Notes on constructive set theory, Report No. 40. Institut Mittag–Leffler, Royal Swedish Academy of Sciences (2001)
2. Bishop, E.A., Bridges, D.S.: Constructive analysis, Grundlehren der Math. Wiss. 279. Springer-Verlag, Heidelberg (1985)
3. Berger, J.: A separation result for varieties of Brouwer’s fan theorem. University of Munich, (2009, preprint)
4. Berger J., Bridges D.S.: A fan-theoretic equivalent of the antithesis of Specker’s theorem. Indag. Math. N.S. 18(2), 195–202 (2007)
5. Berger J., Bridges D.S.: The anti-Specker property, a Heine–Borel property, and uniform continuity. Arch. Math. Logic 46(7–8), 583–592 (2008)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献