Abstract:
We look at specific features of the algebraic structure of an upper semilattice of computable families of computably enumerable sets in $\Omega$. It is proved that ideals of minuend and finite families of $\Omega$ coincide. We deal with the question whether there exist atoms and coatoms in the factor semilattice of $\Omega$ with respect to an ideal of finite families. Also we point out a sufficient condition for computable families to be complemented.