A stronger form of a theorem of Friedberg

Notre Dame Journal of Formal Logic 5 (1):10-12 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957732

Links

PhilArchive



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

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

Definable incompleteness and Friedberg splittings.Russell Miller - 2002 - Journal of Symbolic Logic 67 (2):679-696.
On an extension of a theorem of Friedberg.Thomas G. McLaughlin - 1962 - Notre Dame Journal of Formal Logic 3 (4):270-273.
Synonymy in sentential languages: A pragmatic view.Marek Tokarz - 1988 - Studia Logica 47 (2):93 - 97.
A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions.Robert A. di Paola - 1981 - Journal of Symbolic Logic 46 (2):216-232.
Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
A normal form theorem for lω 1p, with applications.Douglas N. Hoover - 1982 - Journal of Symbolic Logic 47 (3):605 - 624.
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem.Nobuyoshi Motohashi - 1984 - Journal of Symbolic Logic 49 (4):1262-1267.
A constructive formulation of Gleason's theorem.Helen Billinge - 1997 - Journal of Philosophical Logic 26 (6):661-670.
On the strength of Ramsey's theorem for pairs.Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman - 2001 - Journal of Symbolic Logic 66 (1):1-55.
Hume's theorem on testimony sufficient to establish a miracle.Jordan Howard Sobel - 1991 - Philosophical Quarterly 41 (163):229-237.
Rules in relevant logic — II: Formula representation.Ross T. Brady - 1993 - Studia Logica 52 (4):565 - 585.
The consistency of arithmetic.Storrs McCall - manuscript

Analytics

Added to PP
2010-08-24

Downloads
19 (#781,160)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Small Π01 Classes.Stephen Binns - 2006 - Archive for Mathematical Logic 45 (4):393-410.
Small Π0 1 Classes.Stephen Binns - 2005 - Archive for Mathematical Logic 45 (4):393-410.
Finding paths through narrow and wide trees.Stephen Binns & Bjørn Kjos-Hanssen - 2009 - Journal of Symbolic Logic 74 (1):349-360.

Add more citations

References found in this work

No references found.

Add more references