The ω-consistency of number theory via herbrand's theorem

&
Journal of Symbolic Logic 39 (4):678-692 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272853

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

First-order multi-modal deduction.Matthew Stone - unknown
The consistency of number theory via herbrand's theorem.T. M. Scanlon - 1973 - Journal of Symbolic Logic 38 (1):29-58.
The Consistency of Probabilistic Regresses: Some Implications for Epistemological Infinitism. [REVIEW]Frederik Herzberg - 2013 - Erkenntnis 78 (2):371-382.
On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories.Leszek Aleksander Kołodziejczyk - 2006 - Journal of Symbolic Logic 71 (2):624 - 638.
Herbrand's Theorem for a Modal Logic.Melvin Fitting - unknown
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
The Second Incompleteness Theorem and Bounded Interpretations.Albert Visser - 2012 - Studia Logica 100 (1-2):399-418.
The consistency of arithmetic.Storrs McCall - manuscript
A new proof of the classical Herbrand and Skolem theorem.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.

Analytics

Added to PP
2009-01-28

Downloads
42 (#373,183)

6 months
10 (#256,916)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Warren Goldfarb
Harvard University

Citations of this work

No citations found.

Add more citations

References found in this work

Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.

Add more references