A note on a proof of Hilbert's second ε-theorem

Journal of Symbolic Logic 52 (1):214-215 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273876

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

A Note on a Proof of Hilbert's Second $varepsilon$-Theorem.Pier Luigi Ferrari - 1987 - Journal of Symbolic Logic 52 (1):214-215.
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.
How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 77--93.
The Rank Function and Hilbert'S Second ϵ‐Theorem.Pier Luigi Ferrari - 1989 - Mathematical Logic Quarterly 35 (4):367-373.
Hindman's theorem: An ultrafilter argument in second order arithmetic.Henry Towsner - 2011 - Journal of Symbolic Logic 76 (1):353 - 360.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
A note on Hjorth's oscillation theorem.Julien Melleray - 2010 - Journal of Symbolic Logic 75 (4):1359-1365.
Review: V. Devide, A Proof of the Well-Ordering Theorem; Vladimir Devide, A Proof of Zermelo's Theorem. [REVIEW]Garrel Pottinger - 1971 - Journal of Symbolic Logic 36 (4):681-681.
A proof theoretic proof of Scott's general interpolation theorem.Henry Africk - 1972 - Journal of Symbolic Logic 37 (4):683-695.
A proof of zermelo's theorem.Vladimir Dévidé - 1967 - Journal of Symbolic Logic 32 (3):366.

Analytics

Added to PP
2009-01-28

Downloads
17 (#896,762)

6 months
6 (#587,658)

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

No references found.

Add more references