These machines are a central topic of study in recursion theory.

The basic questions addressed by recursion theory are "What does it mean for a function from the natural numbers to themselves to be computable?"

His most important contributions have been in recursion theory.

It is important in effective descriptive set theory and recursion theory.

He continued to play a prominent role in the development of recursion theory throughout his career.

This work was largely on recursion theory and undecidability.

She is best known for her work with recursion theory.

It developed into a study of abstract computability, which became known as recursion theory.

It is upon this foundation that modern recursion theory rests.

He is best known for his work in recursion theory.