Mathematical Logic Foundations

Research Frontiers in Higher-Order Arithmetic and Impredicative Definitions

Studies impredicative second-order and higher-order arithmetic systems, analyzing their proof-theoretic strength and mathematical expressiveness.

All Mathematical Logic & Foundations PhD categories