Mathematical Logic Foundations

Research Frontiers in Consistency Strength Hierarchies and Axiomatic Theories

Studies fine-grained consistency strength orderings of axiomatic systems using proof-theoretic methods and ordinal analysis techniques.

All Mathematical Logic & Foundations PhD categories