The Big Bang Theory | Theory of a Deadman | music theory | probability theory | theory | Theory of relativity | theory of relativity | Social learning theory | Game Theory (band) | Game Theory | Conspiracy theory | Music theory | K-theory | AP Music Theory | Piaget's theory of cognitive development | conspiracy theory | Theory of Relativity | Theory | Terror management theory | Invariant theory | information theory | graph theory | Galois theory | Einstein–Cartan theory | Conspiracy Theory with Jesse Ventura | Chaos theory | Terror Management Theory | representation theory | Recapitulation theory | Probability theory |
Her main research contributions are in computable structure theory (roughly at the intersection of computability theory and model theory), where she introduced the notion of degree spectra of relations on computable structures and obtained first significant results concerning uncountable, countable and finite Turing degree spectra.
Kleene's recursion theorem, also called the fixed point theorem, in computability theory