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:

    How can you tell if you discipline effectively? Ask yourself if your disciplinary methods generally produce lasting results in a manner you find acceptable. Whether your philosophy is democratic or autocratic, whatever techniques you use—reasoning, a “star” chart, time-outs, or spanking—if it doesn’t work, it’s not effective.
    Stanley Turecki (20th century)