Mathematical Logic

Gebhard Fuhrken
Associate Professor Emeritus
fuhrk001@math.umn.edu
mathematical logic, model theory, universal algebra

Lisl Gaal
Associate Professor Emeritus
gaal@math.umn.edu
commutative algebra

William Messing 
Professor 
messing@math.umn.edu 
p-adic representations associated with algebraic varieties via cohomology, the connections between the latter and de Rham cohomology

Karel Prikry
Professor
prikry@math.umn.edu
set theory, measure theory, integer algebras

Wayne Richter
Associate Professor Emeritus
wayner@math.umn.edu
recursion theory, set theory, finite model theory