Strong termination for the epsilon substitution method

Journal of Symbolic Logic

Volumn 61, Issue 4, 1996, Pages 1193-1205

  Mints, Grigori ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030300462     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275811     Document Type: Article

References (20)

1. W. ACKERMANN, Begründung des Tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit, Mathematische Annalen, vol. 93 (1925), pp. 1-36.
2. _, Zur Widerspruchsfreiheit der Zahlentheorie, Mathematische Annalen, vol. 117 (1940), pp. 162-194.
3. N. BOURBAKI, Theorie des ensembles, Hermann, 1958.
4. A. DRAGALIN, Mathematical intuitionism, American Mathematical Society, 1988.
5. G. GENTZEN, Die Widerspruchsfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 112 (1936), no. 4, pp. 493-565.
6. J.-Y. GIRARD, Une extension de l'interpretation de Gödel a l'analyse et la application a l'elimination des coupures dans l'analyse et la theorie des types, Proceedings of the 2nd Scandinavian Logic Symposium, North-Holland, 1972, pp. 63-92.
7. D. HILBERT, Probleme der Grundlegung der Mathematik, Mathematische Annalen, vol. 102 (1929), pp. 1-9.
8. D. HILBERT and P. BERNAYS, Grundlagen der Mathematik, Bd. 2, Springer, 1970.
9. S. C. KLEENE, Introduction to metamathematics, Van Nostrand, 1952.
10. G. KREISEL, On the interpretation of non-finitist proofs I, this JOURNAL, vol. 16 (1951), pp. 241-267.
11. _, On the interpretation of non-finitist proofs II, this JOURNAL, vol. 17 (1952), pp. 43-58.
12. G. MINTS, Simplified consistency proof for arithmetic, Proceedings of the Estonian Academy of Science Fiz.-Math., vol. 31 (1982), no. 4, pp. 376-382, in Russian.
13. _, Epsilon substitution method for the theory of hereditarily finite sets, Proceedings of the Estonian Academy of Science Fiz.-Math., vol. 38 (1989), no. 2, pp. 154-164, in Russian.
14. _, Hilbert's substitution method and Gentzen-type systems, Proceedings of 9th International Congress of Logic, Methodology and Philosophy of Science (Uppsala, Sweden) (D. Prawitz, B. Skyrms, and D. Westerstahl, editors), vol. IX, Elsevier Science B. V., 1994, pp. 91-122.
15. G. MINTS, S. TUPAILO, and W. BUCHHOLZ, Epsilon substitution method for elementary analysis, Archive for Mathematical Logic, vol. 35 (1996), pp. 103-120.
16. K. SCHUTTE, Proof theory, Springer, 1977.
17. W. TAIT, Functionals defined by transfinite recursion, this JOURNAL, vol. 30 (1965), no. 2, pp. 155-174.
18. _, The substitution method, this JOURNAL, vol. 30 (1965), no. 2, pp. 175-192.
19. J. VON NEUMANN, Zur Hilbertschen Beweistheorie, Mathematische Zeitschrift, vol. 26 (1927), pp. 1-46.
20. H. WEYL, David Hilbert and his mathematical work, Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 612-654.