Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-06T10:15:19.843Z Has data issue: false hasContentIssue false

A supplement to Herbrand

Published online by Cambridge University Press:  12 March 2014

Burton Dreben
Affiliation:
Harvard University McGill University
John Denton
Affiliation:
Harvard University McGill University

Extract

In [5] it was shown that to complete Herbrand's argument for his Fundamental Theorem (see [6]) a weak analyzing function for certain applications of the rules of passage is needed. The following theorem describes such a function. (We use the terminology and notation of [5] except that, for each schema S and each p ≧ 1, we shall write D(S,p) rather than DSp for the domain of order p generated by S. In addition, we shall say that an element of D(S, p) is of order k, 1 ≦ kp, if it belongs to D(S, k) but not to D(S,k—1).)

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Ackermann, W., Zur Widerspruchfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 117 (1940), pp. 162194.CrossRefGoogle Scholar
[2]Denton, J., Applications of the Herbrand theorem, Ph. D. Thesis, Harvard University (1963).Google Scholar
[3]Dreben, B., Corrections to Herbrand, Notices American Mathematical Society, vol. 10 (1963), p. 285.Google Scholar
[4]Dreben, B. and Aanderaa, S., Herbrand analyzing functions, Bulletin American Mathematical Society, vol. 70 (1964), pp. 697698.CrossRefGoogle Scholar
[5]Dreben, B., Andrews, P., and Aanderaa, S., False lemmas in Herbrand, Bulletin American Mathematical Society, vol. 69 (1963), pp. 699706.CrossRefGoogle Scholar
[6]Herbrand, J., Recherches sur la théorie de la démonstration, Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III sciences mathématiques et physiques, no. 33 (1930).Google Scholar
[7]Herbrand, J., Sur le problème fondamental de la logique mathématique, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III sciences mathématiques et physiques, no. 24 (1931).Google Scholar
[8]Hilbert, D. and Bernays, P., Grundlagen der Mathematik, II, Berlin, 1939.Google Scholar
[9]Wang, H., A Survey of Mathematical Logic, Peking, 1962.Google Scholar