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

Abstract

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

Citation

Download Citation

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

Information

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

zbMATH: 0789.03002
MathSciNet: MR1205306

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

Rights: Copyright © 1993 The Review of Modern Logic

JOURNAL ARTICLE
16 PAGES


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