Priority arguments in the continuous R. E. degrees

Journal of Symbolic Logic 50 (3):661-667 (1985)
  Copy   BIBTEX

Abstract

We show that at each type k ≥ 2, there exist c-irreducible functionals of c-r.e. degree, as defined in [Nor 1]. Our proofs are based on arguments due to Hinman, [Hin 1], and Dvornikov, [Dvo 1]

Categories

Keywords

Reprint years

DOI

10.2307/2274320

Links

PhilArchive



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

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

Characterizing the Join-Irreducible Medvedev Degrees.Paul Shafer - 2011 - Notre Dame Journal of Formal Logic 52 (1):21-38.
Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555 - 584.
``Defeasible Reasoning with Variable Degrees of Justification".John L. Pollock - 2001 - Artificial Intelligence 133 (1-2):233-282.
A framework for priority arguments.Manuel Lerman - 2010 - New York: Cambridge University Press.
Bi-Isolation in the D.C.E. Degrees.Guohua Wu - 2004 - Journal of Symbolic Logic 69 (2):409 - 420.
Axiomatic recursion theory and the continuous functionals.Simon Thompson - 1985 - Journal of Symbolic Logic 50 (2):442-450.
Maximal contiguous degrees.Peter Cholak, Rod Downey & Stephen Walk - 2002 - Journal of Symbolic Logic 67 (1):409-437.
Dutch-book arguments depragmatized: Epistemic consistency for partial believers.David Christensen - 1996 - Journal of Philosophy 93 (9):450-479.
Degrees of continuous functionals.Peter G. Hinman - 1973 - Journal of Symbolic Logic 38 (3):393-395.

Analytics

Added to PP
2009-01-28

Downloads
43 (#369,570)

6 months
7 (#428,584)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Simon Thompson
University of the West of England

Citations of this work

No citations found.

Add more citations

References found in this work

Degrees of Unsolvability.Leonard P. Sasso - 1975 - Journal of Symbolic Logic 40 (3):452-453.
R.E. degrees of continuous functionals.Dag Normann - 1983 - Archive for Mathematical Logic 23 (1):79-98.

Add more references