 Together with the similar study of the Turing degrees (which will be defined in  Section 3.5.2),  investigating the structure of \(\mathcal{D}_m\) has been a major focus of research in computability theory since the time of Post’s (1944) introduction of the many-one degrees. Some properties of this structure are as follows: