Countable Ideals in a Semi-Lattice of the De Enumeration Degrees

Abstract

In the article we have proved that any countable ideal in the semi-lattice of the De is the intersection of two principal ideals generated by quasi-minimal covers for this ideal.

Keywords

• ideals
• principal ideal of enumeration degrees
• enumeration reducible
• quasi-minimal enumeration degree