Finite investigations of transfinite derivations-Reference-Cited by-同舟云学术

Finite investigations of transfinite derivations

Published:1978-10 Issue:4 Volume:10 Page:548-596
ISSN:0090-4104
Container-title:Journal of Soviet Mathematics
language:en
Short-container-title:J Sov Math

Author:

Mints G. E.

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,General Mathematics,Statistics and Probability

Link

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

Reference11 articles.

1. K. Schütte, Beweistheorie, Springer-Verlag, Berlin-Göttingen-Heidelberg (1960).

2. S. C. Kleene, Introduction to Metamathematics, North-Holland, Amsterdam (1952).

3. G. Kreisel, “Survey of proof theory,” J. Symbolic Logic,33, 321–388 (1968).

4. G. E. Mints, “OE-theorems,” Zap. Nauch. Sem. Leningr. Otd. Mat. Inst., Akad. Nauk SSSR,40, 110–118 (1974).

5. G. E. Mints, “Normalization of finite terms and derivations via infinite ones,” in: Fifth Internat. Congr. Logic, Methodology, and Philosophy of Science, Abstracts, Ontario (1975).

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

1. Bouncing Threads for Circular and Non-Wellfounded Proofs;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02

2. Cyclic Implicit Complexity;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02

3. A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC;The Bulletin of Symbolic Logic;2022-06-09

4. Canonical proof-objects for coinductive programming: infinets with infinitely many cuts;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06

5. Completeness of the primitive recursive $$\omega $$-rule;Archive for Mathematical Logic;2020-01-30