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

• идеал
• главный идеал степеней перечислимости
• сводимость по перечислимости
• квазиминимальная степень перечислимости