Mathematical Logic Foundations

Research Frontiers in Arithmetic Hierarchy and Analytical Hierarchy

Study of definability levels in Peano arithmetic and second-order arithmetic with applications to classification of mathematical statements.

All Mathematical Logic & Foundations PhD categories