Mathematical Logic Foundations

Research Frontiers in Peano Arithmetic and Transfinite Recursion

Investigates extensions of Peano arithmetic through transfinite recursion, including primitive recursive functions at higher ordinals and related systems.

All Mathematical Logic & Foundations PhD categories