UC Irvine - Set theory.
MIT - Complexity theory.
University of London - Model theory.
Boise State University - Set theory: New Foundations, automated theorem proving.
Eastern Michigan University - Axiom of choice.
University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
University of California, Berkeley - Proof theory.
UCLA - Descriptive set theory, countable models, definable equivalence relations.
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
Science /
Math /
Logic_and_Foundations /
History /
People
|