ABSTRACT
If F and G are total functions, we let F ≤ R G mean that F is recursive in G. By 12.5, F ≤ R F ; https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203741139/8e9d6847-fedd-45bc-9ee6-91ac5be8d222/content/equ53_3.tif"/>
