Mathematical Logic Foundations

Research Frontiers in Recursive Function Theory and Hierarchies

Studies the arithmetical and analytical hierarchies classifying the complexity of predicates definable with quantifier alternation.

All Mathematical Logic & Foundations PhD categories