Mathematical Logic Foundations

Research Frontiers in Computability Theory and Turing Degrees

Studies the hierarchy of computational difficulty through Turing degrees and explores which problems are algorithmically decidable.

All Mathematical Logic & Foundations PhD categories