Mathematical Logic Foundations

Research Frontiers in Proof Theoretic Ordinals and Transfinite Induction

Analyzes proof-theoretic ordinals associated with formal systems and their applications to measuring consistency strength and expressiveness of theories.

All Mathematical Logic & Foundations PhD categories