Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662730 | Annals of Pure and Applied Logic | 2009 | 9 Pages |
Abstract
For any enumeration degree let be the set of s-degrees contained in . We answer an open question of Watson by showing that if is a nontrivial -enumeration degree, then has no least element. We also show that every countable partial order embeds into . Finally, we construct -sets A and B such that B≤eA but for every X≡eB, X≰sA.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic