Mathematical Logic Foundations

Research Frontiers in Impredicativity and Circularity in Foundations

Analyzes impredicative definitions and circular reasoning in foundational frameworks, developing principled approaches to handling self-reference.

All Mathematical Logic & Foundations PhD categories