Group in Logic, Lattices, and Universal Algebra

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).

Faculty:

Name Ph.D. Area(s)

Ralph Freese

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

William Lampe

Penn State, 1969
Advisor(s): Orrin Frink, George Graetzer
Universal Algebra,
Lattice Theory

Dale Myers

UC Berkeley, 1972
Advisor: John Addison
Proof Theory,
Model Theory,
Automated Reasoning

J.B. Nation

Cal Tech, 1972
Advisor: Robert Dilworth
Lattice Theory,
Universal Algebra

David Ross

Wisconsin, 1983
Advisor: H. Jerome Keisler
Nonstandard Analysis,
Model Theory

Courses:

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.

Undergraduate:

Graduate:

Visitors and Friends:

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.