Mathematical Logic Foundations

Research Frontiers in Synthetic Computability and Realizability Semantics

Investigates realizability interpretations of constructive logic and their connections to synthetic approaches in computability theory and constructive mathematics.

All Mathematical Logic & Foundations PhD categories