 For reasons discussed in  Section 1.7,  contemporary expositions of computability theory are often presented in an abstract manner which seeks to minimize reference to the specific features of a model of computation such as the partial recursive functions. It is thus useful to stress the following modifications to the traditional terminology which has been employed in  Sections 1 and 2  and the more contemporary terminology which will be employed in this section: