Original paper
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
Abstract
One task of metamathematics is to relate suggestive but nonelementary modeltheoretic concepts to more elementary proof-theoretic concepts, thereby opening up modeltheoretic problems to proof-theoretic methods of attack. Herbrand's Theorem (see [8] or also [9], vol. 2) or Gentzen's Extended Hauptsatz (see [5] or also [10]) was first used along these lines by Beth [1]. Using a modified version he showed that for all first-order systems a certain...
Paper Details
Title
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
Published Date
Sep 1, 1957
Journal
Volume
22
Issue
3
Pages
269 - 285
TrendsPro
You’ll need to upgrade your plan to Pro
Looking to understand a paper’s academic impact over time?
- Scinapse’s Citation Trends graph enables the impact assessment of papers in adjacent fields.
- Assess paper quality within the same journal or volume, irrespective of the year or field, and track the changes in the attention a paper received over time.
Citation AnalysisPro
You’ll need to upgrade your plan to Pro
Looking to understand the true influence of a researcher’s work across journals & affiliations?
- Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
- Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.