b. 1939
Heinz-Dieter Ebbinghaus is a German mathematical logician best known for his foundational work in model theory, set theory, and the history of logic. He is a longtime professor at the University of Freiburg and co-author of influential textbooks that have shaped graduate education in mathematical logic.
Co-authored the widely used textbook 'Mathematical Logic' (with Flum and Thomas)
Co-authored 'Finite Model Theory' (with Flum), a standard reference in the field
Wrote the definitive scholarly biography of Ernst Zermelo
Edited Zermelo's collected works, preserving foundational set-theoretic texts
Contributed to the study of abstract logics and Lindström's theorem