Mathematical Logic Foundations

Research Frontiers in Inner Models and Constructibility

Analyzes Godel''s constructible universe and develops inner models to understand the consistency of various set-theoretic axioms.

All Mathematical Logic & Foundations PhD categories