Update Procedures and the 1-Consistency of Arithmetic-Reference-Cited by-同舟云学术

Update Procedures and the 1-Consistency of Arithmetic

Published:2002-01 Issue:1 Volume:48 Page:3-13
ISSN:0942-5616
Container-title:MLQ
language:en
Short-container-title:MLQ - Math. Log. Quart.

Author:

Avigad Jeremy

Publisher

Wiley

Subject

Logic

Reference17 articles.

1. Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit

2. Epsilon substitution method for theories of jump hierarchies. Preprint.

3. Ordinal analysis without proofs. To appear in: Re\015ections: A collection honoring Solomon Feferman on his 70th birthday, ASL Lecture Notes in Logic, AK Peters, Natick (MA).

4. An ordinal analysis of admissible set theory using recursion on ordinal notations. Submitted.

5. The witness function method and provably recursive functions of Peano arithmetic. In: Proceedings of the Ninth International Congress on Logic, Methodology, and Philosophy of Science (D. Westerståhl, D. Prawitz, and B. Skyrms, eds.), Elsevier Science, Amsterdam 1994, pp. 29 - 68.

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

1. Herbrand complexity and the epsilon calculus with equality;Archive for Mathematical Logic;2023-07-29

2. Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice;Journal of Logic and Computation;2019-06-06

3. Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs;Mathesis Universalis, Computability and Proof;2019

4. Bar recursion over finite partial functions;Annals of Pure and Applied Logic;2017-05

5. Gödel's functional interpretation and the concept of learning;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05