Name
Abstract | ||
|---|---|---|
We present some abstract theorems showing how domination properties equivalent to being (GL2) over bar or array nonrecursive can be used to construct sets generic for different notions of forcing. These theorems are then applied to give simple proofs of some known results. We also give a direct uniform proof of a recent result of Ambos-Spies. Ding, Wang, and Yu [2009] that every degree above any in (GL2) over bar is recursively enumerable in a I-generic degree strictly below it. Our major new result is that every array nonrecursive degree is r.e. in some degree strictly below it. Our analysis of array nonrecursiveness and construction of generic sequences below ANR degrees also reveal a new level of uniformity in these types of results. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.2178/jsl/1327068690 | JOURNAL OF SYMBOLIC LOGIC |
DocType | Volume | Issue |
Journal | 77 | 1 |
ISSN | Citations | PageRank |
0022-4812 | 3 | 0.67 |
References | Authors | |
2 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mingzhong Cai | 1 | 10 | 4.98 |
| Richard A. Shore | 2 | 331 | 58.12 |