id author title date pages extension mime words sentence flesch summary cache txt 3r074t66b55 Rebecca Weber A definable relation between c.e. sets and ideals 2004 .txt text/plain 147 7 53 [N, 2^omega] for N nonprincipal, and a quotient structure of G, denoted G^diamond and thought of as G modulo principal classes disjoint from N. Using the setting of computably enumerable ideals, we present basic results for G and G^diamond and show that G^diamond is isomorphic to E*, the lattice of computably enumerable sets modulo finite difference. Related to the study of properties of individual classes is the study of the lattice of all Pi-0-1 classes, denoted E_Pi. cache/3r074t66b55.txt txt/3r074t66b55.txt