Logic and Universal Algebra, especially Lattice Theory, have been active areas of research in the Mathematics Department since William Hanf joined the department over 30 years ago. The group now comprises approximately 20% of the department. In addition to the core faculty, we are fortunate to have many regular visitors to the department in the area (see below).
Name | Ph.D. | Area(s) |
Cal Tech, 1972 Advisor: Robert Dilworth |
Lattice Theory, Universal Algebra |
|
Bjørn Kjos-Hanssen |
UC Berkeley, 2002 Advisor: Theodore Slaman |
Recursion Theory, Complexity Theory, Reverse Mathematics |
Penn State, 1969 Advisor(s): Orrin Frink, George Graetzer |
Universal Algebra, Lattice Theory |
|
UC Berkeley, 1972 Advisor: John Addison |
Proof Theory, Model Theory, Automated Reasoning |
|
Cal Tech, 1972 Advisor: Robert Dilworth |
Lattice Theory, Universal Algebra |
|
Wisconsin, 1983 Advisor: H. Jerome Keisler |
Nonstandard Analysis, Model Theory |
The department offers one 2-course undergraduate sequence in logic, which fulfills the department's "sustained two-course sequence" requirement for a BA or BS. Undergraduates interested in Logic and Universal Algebra are encouraged to take Math 412 and Math 331 and/or Math 321.
In addition to the regular graduate offerings (below), members of the group regularly offer topics courses (Math 649) and directed readings to interested students.
Colleagues who have visited us in recent years include: Kirby Baker, Paul Cohen, Brian Davey, Thomas Jech, Jaraslov Jezek, Keith Kearnes, Ralph McKenzie, George McNulty, Mary Ellen Rudin, Lutz Struengmann, Agnes Szendrei, Walter Taylor, Matt Valeriote, Ross Willard.
Visiting Fall 2007 wil be Mauro di Nasso (Set Theory, Nonstandard Analysis) from the Universita' di Pisa.