| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662459 | Annals of Pure and Applied Logic | 2007 | 13 Pages |
Abstract
Based on a result of Nies on definability of the upper semilattice of computably enumerable degrees (denoted by ), we find that in filters generated by definable subsets are also definable. As applications we demonstrate two new definable filters and study their supremum. Finally we demonstrate a counterexample.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
