Mathematical Logic Foundations

Research Frontiers in Realizability Theory and Effective Topos

Study of realizability interpretations and the effective topos as models for constructive mathematics with applications to computability.

All Mathematical Logic & Foundations PhD categories