Mathematical Logic Foundations

Research Frontiers in Reverse Mathematics and Proof Strength

Determines which axioms are necessary and sufficient to prove classical theorems by working backwards from conclusions to minimal assumptions.

All Mathematical Logic & Foundations PhD categories