Infima in the d.r.e. degrees (Q685080)

The reviewed paper is a selection from the author's Ph.D. thesis and is devoted to the study of n-r.e. set degrees. Several important properties of the infima operation on such degrees are obtained. For example, the branching of every low r.e. degree in \(D_ n\) for \(n\geq 2\) is proved. The same does not hold for \(\text{low}_ 2\) r.e. degrees. As a corollary to the first theorem, the embedding of the finite lattice \(S_ 8\) is obtained. This gives an additional example of the property distinguishing the elementary theories of \(D_ 1\) and \(D_ 2\).