After defining when such a machine is reliable on a set of partial functions they characterize the sets of functions that can be identified by machines which are reliable on all partial functions.
Pagkatapos ng pagtukoy kung tulad ng isang makina ay maaasahan sa isang set ng bahagyang pag-andar sila makilala ang mga hanay ng mga function na maaaring kinilala sa pamamagitan ng machine na kung saan ay maaasahan sa lahat ng mga bahagi ng mga pag-andar.