Heinz-Dieter Ebbinghaus

Heinz -Dieter Ebbinghaus ( born February 22, 1939 in Hemer, Westphalia ) is a German mathematician who works mainly for mathematical logic.

Ebbinghaus studied mathematics and physics at the University of Münster, where he earned his doctorate under Hans Hermes 1967 ( via a predicate logic with partially defined predicates and functions and an application to the theory of equations ). With Hermes he went first as an assistant (1967 ) to Freiburg im Breisgau, where he worked until his retirement as professor of mathematical logic at the Albert- Ludwigs- University of Freiburg.

Ebbinghaus wrote several textbooks on set theory, mathematical logic and model theory, and is the editor of the works of ( also acting in Freiburg) logician Ernst Zermelo ( the first volume was published in 2010 by Springer Verlag ) and his biographer.

Writings

• Introduction to set theory, spectrum Publishing 2003, ISBN 3-8274-1411-3.
• Volker Peckhaus: Ernst Zermelo - on approach to his life and work, Springer, 2007.
• Jörg Flum: Finite Model Theory, Springer, 2nd edition, 2006.
• Jörg Flum and Wolfgang Thomas: Introduction to mathematical logic, spectrum Publishing, 5th edition, 2007.
• Jörg Flum: Mathematical Logic, Springer, 2nd edition 1994
• Hans Hermes, Friedrich Hirzebruch (Editor): numbers, Springer -Verlag, 3rd edition, 1992 (also translated into English, French, Japanese, in Ebbinghaus: set theory and mathematics).
• Gerhard Vollmer: Think the go. Fifteen metawissenschaftliche excursions, Hirzel Verlag 1992.
• Omega - Bibliography of Mathematical Logic: Model Theory, Springer 1987.
• Konrad Jacobs: Selecta Mathematica, Vol.2, Springer, 1970 ( in Ebbinghaus: Turing machines and computable functions 1-3, Enumerability ).