On an extension of Hilbert's second ε-theorem

Journal of Symbolic Logic 40 (3):393-397 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272162

Links

PhilArchive



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

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

Hilbert versus Hindman.Jeffry L. Hirst - 2012 - Archive for Mathematical Logic 51 (1-2):123-125.
The translation theorem.Peter Cholak - 1994 - Archive for Mathematical Logic 33 (2):87-108.
Tait's conservative extension theorem revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
A note on the first incompleteness theorem.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (2):214-216.
On Gleason’s Theorem without Gleason.David Buhagiar, Emmanuel Chetcuti & Anatolij Dvurečenskij - 2009 - Foundations of Physics 39 (6):550-558.
From Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Goedel's Incompleteness Theorem.Byoung-il Choi - 1997 - Dissertation, University of California, Berkeley
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
An approximate Herbrand’s theorem and definable functions in metric structures.Isaac Goldbring - 2012 - Mathematical Logic Quarterly 58 (3):208-216.
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.
The maximal linear extension theorem in second order arithmetic.Alberto Marcone & Richard A. Shore - 2011 - Archive for Mathematical Logic 50 (5-6):543-564.
The Foundations of Geometry.David Hilbert - 1899 - Open Court Company (This Edition Published 1921).
On interpreting Gödel's second theorem.Michael Detlefsen - 1979 - Journal of Philosophical Logic 8 (1):297 - 313.

Analytics

Added to PP
2009-01-28

Downloads
8 (#1,313,626)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

Add more references