Open Access
2007 Hyperimmunity in 2\sp ℕ
Stephen Binns
Notre Dame J. Formal Logic 48(2): 293-316 (2007). DOI: 10.1305/ndjfl/1179323269

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.

Citation

Download Citation

Stephen Binns. "Hyperimmunity in 2\sp ℕ." Notre Dame J. Formal Logic 48 (2) 293 - 316, 2007. https://doi.org/10.1305/ndjfl/1179323269

Information

Published: 2007
First available in Project Euclid: 16 May 2007

zbMATH: 1139.03029
MathSciNet: MR2306398
Digital Object Identifier: 10.1305/ndjfl/1179323269

Subjects:
Primary: 03D28

Keywords: hyperimmunity , Medvedev , Muchnik

Rights: Copyright © 2007 University of Notre Dame

Vol.48 • No. 2 • 2007
Back to Top