Elementary theories and structural properties of d-c.e. and n-c.e. degrees

Аннотация

This paper is a survey on the upper semilattices of Turing and enumeration degrees of n-c.e. sets. Questions on the structural properties of these semilattices, and some model-theoretic properties are considered.