Logic

Research Frontiers in Stability Theory and Classification of Theories

Develops framework for classifying first-order theories based on model-theoretic complexity and structural properties.

All Logic PhD categories