Some applications of Kleene's methods for intuitionistic systems-Reference-Cited by-同舟云学术

Some applications of Kleene's methods for intuitionistic systems

Published:1973 Issue: Volume: Page:113-170
ISSN:0075-8434
Container-title:Cambridge Summer School in Mathematical Logic
language:
Short-container-title:

Author:

Friedman Harvey

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0066773

Reference14 articles.

1. D. Gabbay, The Dedidability of the Kreisel-Putnam System, JSL, 35 (1970), 431–437.

2. D. Gabbay, Applications of Trees to Intermediate Logics I, JSL, 36 (1971).

3. J-Y. Girard, Une Extension De L'Interpretation De Gödel A L'Analyse, Et Son Application A L'Elimination Des Coupures Dans L'Analyse Et La Theorie Des Types, in: J. E. Fenstad (editor), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, 1971, 63–92.

4. D. deJongh, The Maximality of the Intuitionistic Predicate Calculus with Respect to Heyting's Arithmetic, presented at the Second Scandinavian Logic Symposium at Oslo, June 1970.

5. S. C. Kleene, On the Interpretation of Intuitionistic Number Theory, JSL, 10 (1945), 109–124.

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Ordinal analysis and the set existence property for intuitionistic set theories;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

2. EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY;The Journal of Symbolic Logic;2022-07-20

3. Extensional realizability for intuitionistic set theory;Journal of Logic and Computation;2020-12-30

4. Implicative algebras: a new foundation for realizability and forcing;Mathematical Structures in Computer Science;2020-05

5. Power Kripke–Platek set theory and the axiom of choice;Journal of Logic and Computation;2020-01