The intervals of the lattice of recursively enumerable sets determined by major subsets (Q793018)

Define for set X the lattice \({\mathcal E}(X)=\{W_ e\cap X:W_ e\quad is\quad r.e.\quad set\}\) and \({\mathcal E}^*(X)\) be the lattice \({\mathcal E}(X)\) modulo the ideal of finite sets. Let B be a major subset of A, \(B\subset_ mA\). The main theorem is: if \(B\subset_ mA\) and \(\hat B\subset_ m\hat A\), then \({\mathcal E}^*(A-B)\cong {\mathcal E}^*(\hat A- \hat B).\)