Steffen Lempp Professor Emeritus 1988-2025 lempp@math.wisc.edu 525 Van Vleck Websitehttps://people.math.wisc.edu/~lempp/Research Interest:Logic, in particular computability and its applications to model theory, proof theory and algebra.
