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

set theory, measure theory, integer algebras

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