Mathematical Logic Foundations

Research Frontiers in Predicativity and Autonomous Transfinite Hierarchies

Studies predicative systems of set theory and type theory, investigating autonomous transfinite progressions and impredicative definitions in logical frameworks.

All Mathematical Logic & Foundations PhD categories