Logic

Research Frontiers in Reverse Mathematics and Foundational Analysis

Systematic analysis of which axioms are necessary to prove theorems in mathematics by working backwards from conclusions to assumptions.

All Logic PhD categories