Heinz-Dieter Ebbinghaus

Heinz-Dieter Ebbinghaus's AcademicInfluence.com Rankings

Philosophy

#1087

World Rank

#2046

Historical Rank

Logic

#359

World Rank

#701

Historical Rank

philosophy Degrees

Heinz-Dieter Ebbinghaus

Mathematics

#1434

World Rank

#2358

Historical Rank

mathematics Degrees

Download Badge

Philosophy
Mathematics

Heinz-Dieter Ebbinghaus's Degrees

PhD Mathematics University of Münster

Why Is Heinz-Dieter Ebbinghaus Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Heinz-Dieter Ebbinghaus is a German mathematician and logician. He received his PhD in 1967 at the University of Münster under Hans Hermes and Dieter Rödding. Ebbinghaus has written various books on logic, set theory and model theory, including a seminal work on Ernst Zermelo. His book Einführung in die mathematische Logik, joint work with Jörg Flum and Wolfgang Thomas, first appeared in 1978 and became a standard textbook of mathematical logic in the German-speaking area. It is currently in its sixth edition . An English edition of Mathematical Logic was published in the Springer-Verlag Undergraduate Texts in Mathematics series in 1984 , with a second edition in 1994 and a third edition in 2021 .

(See a Problem?)

Heinz-Dieter Ebbinghaus's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Finite model theory (1995) (626)
Mathematical logic (1985) (256)
Axiomatizing set theory (1976) (66)
Ernst Zermelo - an approach to his life and work (2007) (57)
Recursion Theory Week (1985) (38)
Extended Logics: The General Framework (2016) (20)
Zermelo and the Skolem Paradox (1998) (20)
Mathematical logic (2. ed.) (1994) (17)
Descriptive Complexity Theory (1995) (11)
Zermelo: definiteness and the universe of definable sets (2003) (11)
On models with large automorphism groups (1971) (9)
Finite Automata and Logic: A Microcosm of Finite Model Theory (1995) (9)
Ernst Zermelo - Collected Works/Gesammelte Werke II (2010) (8)
Undecidability Of Some Domino Connectability Problems (1982) (6)
Domino Threads and Complexity (1987) (6)
Is There a Logic for Polynomial Time? (1999) (5)
Chapter II: Extended Logics: The General Framework (1985) (5)
Zermelo and the Heidelberg Congress 1904 (2007) (5)
Interpolation in Logiken monotoner systeme (1980) (2)
Logic Colloquium '87: Proceedings of the Colloquium Held in Granada, Spain July 20-25, 1987 (1989) (2)
Semantics of First-Order Languages (2021) (2)
ZumL(Q)-Interpolationsproblem (1975) (2)
An Algebraic Characterization of Elementary Equivalence (2021) (1)
Ernst Zermelo - Collected Works/Gesammelte Werke II: Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, ... Wissenschaften (2013) (1)
Model Theory of Henselian Valued Fields (1989) (1)
European Summer Meeting of the Association for Symbolic Logic (1987) (1)
Set Theory and Mathematics (1991) (1)
Zermelo in the mirror of the Baer correspondence, 1930–1931 (2004) (1)
Satisfiability in the Finite (1995) (1)
Set theory, miscellanea (2010) (1)
Zermelo: Boundary numbers and domains of sets continued (2006) (1)
The axion of determinateness (1976) (1)
The Löwenheim–Skolem Theorem and the Compactness Theorem (2021) (0)
The Completeness Theorem (2021) (0)
Extensions of First-Order Logic (2021) (0)
Quantifiers and Logical Reductions (1995) (0)
Ernst Zermelo: A glance at his life and work (2010) (0)
Logics with Fixed-Point Operators (1995) (0)
Syntactic Interpretations and Normal Forms (2021) (0)
Appendix Selected Original Versions (2015) (0)
14 Set Theory and Mathematics (1991) (0)
More on Games (1995) (0)
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 (1984) (0)
Limitations of the Formal Method (1994) (0)
Syntax of First-Order Languages (2021) (0)
Dedicated to Mrs. Gertrud Zermelo on the occasion of her 95th birthday (2000) (0)
The Löwenheim-Skolem Theorem and the Compactness Theorem (1994) (0)
Zermelo’s Curriculum Vitae (2015) (0)
General logic systems (1976) (0)
The Ehrenfeucht-Fraïssé Method (1995) (0)
Free Models and Logic Programming (2021) (0)
A Sequent Calculus (2021) (0)
Introductory note to 1933a (2013) (0)
[Cell proliferation in the lungs of rats after treatment with anorexigens. An autoradiographic study (author's transl)]. (1972) (0)
Logics for PTIME (1995) (0)
Calculus of Variations, Applied Mathematics, and Physics (2013) (0)
Ernst Zermelo’s curriculum vitae (2010) (0)
Mathematics of Logic Programming (2001) (0)
Computability and Its Limitations (2021) (0)
Zurich 1910–1921 (2015) (0)
Lindström’s Theorems (2021) (0)
On the Model Theory of Some Generalized Quantifiers (1995) (0)
Review: H. J. Keisler, B. van Rootselaar, J. F. Staal, Models with Orderings (1974) (0)
Preface Logic Colloqium '95, Haifa, Israel (1999) (0)
0-1 Laws (1995) (0)
The Scope of First-Order Logic (2021) (0)

This paper list is powered by the following services:

Other Resources About Heinz-Dieter Ebbinghaus

What Schools Are Affiliated With Heinz-Dieter Ebbinghaus?

Heinz-Dieter Ebbinghaus is affiliated with the following schools:

Heinz-Dieter Ebbinghaus's Academic­Influence.com Rankings

Heinz-Dieter Ebbinghaus's Degrees

Why Is Heinz-Dieter Ebbinghaus Influential?

Heinz-Dieter Ebbinghaus's Published Works

Published Works

Other Resources About Heinz-Dieter Ebbinghaus

What Schools Are Affiliated With Heinz-Dieter Ebbinghaus?

Image Attributions

Heinz-Dieter Ebbinghaus's AcademicInfluence.com Rankings