Mathematical Logic Foundations

Research Frontiers in Model Theory and Categorical Equivalence

Studies the relationship between logical theories and their models, determining when models are indistinguishable by logical formulas.

All Mathematical Logic & Foundations PhD categories