Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen-Reference-Cited by-同舟云学术

Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen

Published:1974-03 Issue:1-2 Volume:16 Page:49-66
ISSN:0933-5846
Container-title:Archiv für Mathematische Logik und Grundlagenforschung
language:de
Short-container-title:Arch math Logik

Author:

Diller Justus

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

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

Reference10 articles.

1. Diller, J., Schütte, K.: Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Arch. math. Logik14 (1971), 69–74.

2. Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica12 (1958), 280–287.

3. Howard, W. A.: Functional interpretation of bar induction by bar recursion. Compositio Math.20 (1968), 107–124.

4. Howard, W. A.: Assignment of ordinals to terms for primitive recursive functionals of finite type. Proc. of the summer conference at Buffalo in 1968, North Holland, Amsterdam 1970.

5. Kleene, S. C.: Introduction to metamathematics. North Holland, Amsterdam4 1964.

Cited by 39 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. CHAD for expressive total languages;Mathematical Structures in Computer Science;2023-04

3. A parametrised functional interpretation of Heyting arithmetic;Annals of Pure and Applied Logic;2021-04

4. Dialectica models of type theory;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09

5. A herbrandized functional interpretation of classical first-order logic;Archive for Mathematical Logic;2017-05-19