The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program (2001)

by Richard Zach
Citations:5 - 3 self

Documents Related by Co-Citation

19 Begründung des tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit – W Ackermann - 1924
25 On the Interpretation of Non-Finitist Proofs – G Kreisel - 1951
27 Zur Widerspruchsfreiheit der Zahlentheorie – Wilhelm Ackermann - 1940
3 Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic – Richard Zach
5 Epsilon-substitution method for the ramified language and # 1 -comprehension rule – Grigori Mints, Sergei Tupailo - 1999
4 The Hilbert epsilon function in many-valued logics – A Mostowski - 1963
4 Update procedures and the 1-consistency of arithmetic – Jeremy Avigad - 2002
5 A modal logic epsilon-calculus. Notre Dame – M Fitting - 1975
3 Hilbert’s epsilon-operator and classical logic – J L Bell - 1993
3 Hilbert’s epsilon operator in intuitionistic type theories – J L Bell - 1993
2 Intuitionistic epsilon- and tau-calculi – D DeVidi - 1995
2 A termination proof for epsilon substitution using partial derivations’, Theoretical Computer Science 303:187–213 – G Mints - 2003
2 Ackermann’s substitution method (remixed)’, Annals of Pure and Applied Logic 2006 – G Moser
3 Ideas in the epsilon substitution method for Π 0 – Toshiyasu Arai
21 Lower bounds for increasing complexity of derivations after cut elimination – V P Orevkov - 1979
7 A.: On Skolemizations and Proof Complexity. Fundamenta Informatica 20/4 – M Baaz, Leitsch - 1994
35 bounds on Herbrand’s theorem – R Statman, Lower - 1979
16 The Logic of Choice – Andreas Blass, Yuri Gurevich
13 Grundlagen der – D Hilbert, P Bernays - 1939