Mathematical Logic Foundations

Research Frontiers in Arithmetical Hierarchy and Analytical Hierarchy

Studies the arithmetical and analytical hierarchies of definable sets, including complete sets at each level and their logical characterizations.

All Mathematical Logic & Foundations PhD categories