Baldwin, John T. (Popularity: )

University of Illinois, Chicago - Model theory (finite and infinite).

Aczel, Peter (Popularity: )

University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.

Marcos, João (Popularity: )

State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.

Avigad, Jeremy (Popularity: )

Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of ...

Welch, Philip (Popularity: )

University of Bristol - Set theory, inner models, descriptive set theory.

Carnielli, Walter A. (Popularity: )

State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite ...

Buss, Samuel R. (Popularity: )

University of California, San Diego - Proof theory, computational complexity.

Bouscaren, Elisabeth (Popularity: )

CNRS / University of Paris 7 - Model theory and algebraic geometry.

Costa-Leite, Alexandre (Popularity: )

PhD student, University of Neuchâtel. Interests: methods for combining logics, multi-dimensional modal logics, universal logic ...

Awodey, Steve (Popularity: )

Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.

Blass, Andreas R. (Popularity: )

University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.

Zach, Richard (Popularity: )

University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of ...

Burris, Stanley (Popularity: )

University of Waterloo - Universal algebra, logic, computers.

Wehmeier, Kai (Popularity: )

UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, ...

Buechler, Steven (Popularity: )

University of Notre Dame - Model theory.

Maddy, Penelope (Popularity: )

University of California Irvine - Philosophy of logic and mathematics.

Artemov, Sergei (Popularity: )

City University of New York Graduate Center - Proof theory, logic of proofs.

Kastermans, Bart (Popularity: )

University of Michigan - Set theory.

Anand, Bhupinder Singh (Popularity: )

Independent scholar, Mumbai. Interests: reviewing standard interpretations of Cantor's, Gödel's, Tarski's, and Turing's reasoning.

Cummings, James (Popularity: )

Carnegie Mellon University - Set theory.