Heinz-Dieter Ebbinghaus
University of Freiburg(DE)RWTH Aachen University(DE)
Publications by Year
Research Areas
History and Theory of Mathematics, Advanced Algebra and Logic, Logic, Reasoning, and Knowledge, Philosophy, Science, and History, Logic, programming, and type systems
Most-Cited Works
- → Finite Model Theory(1995)1,073 cited
- Mathematical Logic(1985)
- → Numbers(1991)71 cited
- → Einführung in die mathematische Logik(2018)61 cited
- → Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen(1969)41 cited
- → Recursion Theory Week(1985)35 cited
- Axiomatizing set theory(1976)
- Zermelo and the Skolem Paradox(1998)
- → Einführung in die Mengenlehre(2021)19 cited