Mathematical Logic Foundations

Research Frontiers in Realizability Theory and Effective Computability

Studies realizability semantics as a bridge between constructive logic and computability, analyzing when propositions have effective witnesses.

All Mathematical Logic & Foundations PhD categories