This paper consists of three separate notes related only in that each of the three either extends or employs the results of [2], with which acquaintance is assumed. R(x , where f, g e Q.
No takes yet. Share an insight, caveat, or question.
Martin Davis (1963) studied this question.