Author:
Fourman M. P.,Hyland J. M. E.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, 1967.
2. van Dalen, D.: An interpretation of intuitionistic analysis. Annals of Math. Logic, 13 (1978), 1–43
3. Dummett, M.A.E.: Elements of Intuitionism. Oxford, 1977
4. Fourman, M.P.: Comparaison des réelles d'un topos; structures lisses sur un topos élémentaire. Cah. Top. Géom. Diff., 16, 233–239
5. Fourman, M.P.: The logic of topoi. In Handbook of Mathematical Logic (Ed. Barwise, J.), 1053–1090. North-Holland 1977
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Necessity of Some Topological Spaces;Revolutions and Revelations in Computability;2022
2. SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II;The Journal of Symbolic Logic;2019-07-25
3. Bar Induction and Restricted Classical Logic;Logic, Language, Information, and Computation;2019
4. Formally continuous functions on Baire space;Mathematical Logic Quarterly;2018-07
5. Separating the Fan Theorem and Its Weakenings II;Logical Foundations of Computer Science;2017-11-28