Abstract
AbstractA number of classical theories are interpreted in analogous theories that are based on intuitionistic logic. The classical theories considered include subsystems of first- and second-order arithmetic, bounded arithmetic, and admissible set theory.
Publisher
Cambridge University Press (CUP)
Reference23 articles.
1. Type-theoretic interpretation of iterated, strictly positive inductive definitions
2. The strength of some Martin-L�f type theories
3. Friedman Harvey M. , Subsystems of set theory and analysis, Ph.D. thesis, Massachusetts Institute of Technology, 1967.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献