Hyperimmunity in 2\sp ℕ

Notre Dame Journal of Formal Logic 48 (2):293-316 (2007)
  Copy   BIBTEX

Abstract

We investigate the notion of hyperimmunity with respect to how it can be applied to Π{\sp 0}{\sb 1} classes and their Muchnik degrees. We show that hyperimmunity is a strong enough concept to prove the existence of Π{\sp 0}{\sb 1} classes with intermediate Muchnik degree—in contrast to Post's attempts to construct intermediate c.e. degrees

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Immunity and Hyperimmunity for Sets of Minimal Indices.Frank Stephan & Jason Teutsch - 2008 - Notre Dame Journal of Formal Logic 49 (2):107-125.
Π⁰₁ classes with complex elements.Stephen Binns - 2008 - Journal of Symbolic Logic 73 (4):1341-1353.
Relative Kolmogorov complexity and geometry.Stephen Binns - 2011 - Journal of Symbolic Logic 76 (4):1211-1239.
Finding paths through narrow and wide trees.Stephen Binns & Bjørn Kjos-Hanssen - 2009 - Journal of Symbolic Logic 74 (1):349-360.
Compressibility and Kolmogorov Complexity.Stephen Binns & Marie Nicholson - 2013 - Notre Dame Journal of Formal Logic 54 (1):105-123.
Reviews. [REVIEW]Peter Binns - 1971 - British Journal for the Philosophy of Science 22 (2):198-200.
The cambridge companion to stravinsky.Alexander Binns - 2004 - British Journal of Aesthetics 44 (4):447-449.
Experimental evidence and psychotherapy. [REVIEW]P. Binns - 1990 - British Journal for the Philosophy of Science 41 (4):531-552.
Review: Experimental Evidence and Psychotherapy. [REVIEW]P. Binns - 1990 - British Journal for the Philosophy of Science 41 (4):531 - 552.
History and Growth of Traveller Education.Dennis Binns - 1990 - British Journal of Educational Studies 38 (3):251 - 258.
Integrity, Boundary and the Ecology of Personal Processes.Peter Binns - 1994 - Royal Institute of Philosophy Supplement 37:83-.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,074,276)

6 months
2 (#889,309)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mass Problems and Intuitionism.Stephen G. Simpson - 2008 - Notre Dame Journal of Formal Logic 49 (2):127-136.
$\Pi _{1}^{0}$ Classes with Complex Elements.Stephen Binns - 2008 - Journal of Symbolic Logic 73 (4):1341 - 1353.
On effectively closed sets of effective strong measure zero.Kojiro Higuchi & Takayuki Kihara - 2014 - Annals of Pure and Applied Logic 165 (9):1445-1469.

Add more citations

References found in this work

No references found.

Add more references