Open Access
February 1993 Herbrand's error and Gödel's correction
Warren Goldfarb
Mod. Log. 3(2): 103-118 (February 1993).


Background on the Herbrand Theorem and Herbrand's error is given in §1 below. §2 presents Godei's correction. As it turns out, his proof is extremely close to that devised by Dreben and his co-workers; published in full in Dreben and Dentón, 1966 (and, somewhat condensed, in van Heijenoort, 1967, 572-576 and Herbrand, 1971,193-199). §3 concerns counterexamples to Herbrand's false lemma and numerical bounds for the corrected lemma. In particular, I show that the bound obtained by Gödel's argument cannot be significantly improved


Download Citation

Warren Goldfarb. "Herbrand's error and Gödel's correction." Mod. Log. 3 (2) 103 - 118, February 1993.


Published: February 1993
First available in Project Euclid: 6 March 2008

zbMATH: 0789.03002
MathSciNet: MR1205306

Primary: 03B10
Secondary: 01A60 , 03-03

Rights: Copyright © 1993 The Review of Modern Logic

Vol.3 • No. 2 • February 1993
Back to Top