Author:
SATO Kentaro,Zumbrunnen Rico
Funder
Swiss National Science Foundation
Reference59 articles.
1. The type theoretic interpretation of constructive set theory;Aczel,1978
2. Interpreting classical theories in constructive ones;Avigad;J. Symbolic Logic,2000
3. Forcing in proof theory;Avigad;Bull. Symbolic Logic,2004
4. Admissible Sets and Structures: An Approach to Definability Theory;Barwise,1975
5. Principles of continuous choice and continuity of functions in formal systems for constructive mathematics;Beeson;Ann. Math. Logic,1977
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献