Abstract:
In the article we have proved that any countable ideal in the semi-lattice of the $\mathbf{D}_e$ 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.
Fulltext:
PDF file (275 kB)