Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe
-
Published:2003-04
Issue:1-3
Volume:120
Page:165-196
-
ISSN:0168-0072
-
Container-title:Annals of Pure and Applied Logic
-
language:en
-
Short-container-title:Annals of Pure and Applied Logic
Reference30 articles.
1. P. Aczel, The type theoretic interpretation of constructive Set theory, in: A. MacIntyre, L. Pacholski, J. Paris (Eds.), Logic Colloquium ’77, 1978, pp. 55–66.
2. The type theoretic interpretation of constructive set theory;Aczel,1986
3. Foundations of Constructive Mathematics;Beeson,1985
4. S. Feferman, A language and axioms for explicit mathematics, in: Algebra and Logic, Lecture Notes in Mathematics, ed. J.N. Crossley, Vol. 450, 1975, pp. 87–139.
5. S. Feferman, Constructive theories of functions and classes, in: Logic Colloquium ’78, 1979, pp. 159–224.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献