Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661745 | Annals of Pure and Applied Logic | 2014 | 25 Pages |
Abstract
Defining a class of sets to be uniform Î20 if it is derived from a binary {0,1}-valued function fâ¤TK, we show that, for any CâDe induced by such a class, there exists a high Î20 degree c which is incomparable with every degree bâCâ{0e,0eâ²}. We show how this result can be applied to quite general subclasses of the Ershov Hierarchy and we also prove, as a direct corollary, that every nonzero low degree caps with both a high and a nonzero low Î20 degree.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Liliana Badillo, Charles M. Harris,