Sciweavers

89
Voted
APAL
2007
72views more  APAL 2007»
15 years 14 days ago
On definable filters in computably enumerable degrees
Based on a result of Nies on definability the upper semilattice of computably enumerable degrees (denoted by R), we find that in R filters generated by definable subsets are al...
Wei Wang, Decheng Ding