Mathematical Logic Foundations

Research Frontiers in Ordinal Analysis and Proof-Theoretic Strength

Assigns ordinals to formal systems to measure their proof-theoretic strength and compare consistency via ordinal notation systems.

All Mathematical Logic & Foundations PhD categories