Mathematical Logic Foundations

Research Frontiers in Predicative Foundations and Feferman Systems

Research on predicative subsystems of second-order arithmetic and their proof-theoretic strength relative to explicit mathematics frameworks.

All Mathematical Logic & Foundations PhD categories