Mathematical Logic Foundations

Research Frontiers in Definability and Interpretability Results

Studies which structures are definable or interpretable in others, establishing fundamental boundaries of logical expressibility.

All Mathematical Logic & Foundations PhD categories