Mathematical Logic Foundations

Research Frontiers in Hyper-arithmetic Sets and Higher Recursion

Research on higher-order recursion theory examining hyper-arithmetic and hyper-analytic sets with connections to proof theory.

All Mathematical Logic & Foundations PhD categories