@MISC{_neededreals, author = {}, title = {Needed Reals and Recursion in Generic Reals \Lambda}, year = {} }

Bookmark

OpenURL

Abstract

We shall be interested in triples A = (A\Gamma; A+; A) where A is a binary relation between the sets A\Gamma and A+. We often call such triples "relations. " Call a subset X ` A+ adequate for A if