Alpha Recursion Theory - Results in Recursion

Results in Recursion

Shore's splitting theorem: Let A be recursively enumerable and regular. There exist recursively enumerable such that

Shore's density theorem: Let A, C be α-regular recursively enumerable sets such that then there exists a regular α-recursively enumerable set B such that .

Read more about this topic:  Alpha Recursion Theory

Famous quotes containing the word results:

    The peace conference must not adjourn without the establishment of some ordered system of international government, backed by power enough to give authority to its decrees. ... Unless a league something like this results at our peace conference, we shall merely drop back into armed hostility and international anarchy. The war will have been fought in vain ...
    Virginia Crocheron Gildersleeve (1877–1965)