Heinz-Dieter Ebbinghaus

University of Freiburg — Germany

Computer Science · Physical Sciences

12h-index1.8kcitations126works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Algebra and Logic(23), History and Theory of Mathematics(21), Logic, Reasoning, and Knowledge(16), Philosophy, Science, and History(15), Logic, programming, and type systems(11)

Publications126 total

Relationen und Funktionen
2021
Mächtigkeiten
2021
Computability and Its Limitations
Graduate texts in mathematics·2021
Mathematical Logic
Graduate texts in mathematics·2021· 6 cited
Introduction
Graduate texts in mathematics·2021· 1 cited
Das Universum als kumulative Hierarchie
2021
Das Zermelo-Fraenkelsche Axiomensystem
2021
The Scope of First-Order Logic
Graduate texts in mathematics·2021
Metamathematische Fragestellungen
2021
The Completeness Theorem
Graduate texts in mathematics·2021
The Löwenheim–Skolem Theorem and the Compactness Theorem
Graduate texts in mathematics·2021
Der Rahmen der Darstellung
2021
Rekursionen und Fundiertheit
2021
Hinweise zur Lösung der Aufgaben
2021
Anhang: Zum Verhältnis von ZF und NBG
2021
Lindström’s Theorems
Graduate texts in mathematics·2021
A Sequent Calculus
Graduate texts in mathematics·2021
Einführung in die Mengenlehre
2021· 19 cited
Fundierte Strukturen und Ordinalzahlen
2021
Einleitung
2021
page 1 of 7Next →

Frequent Co-authors

Jörg Flum(20), Wolfgang Thomas(11), Hans Hermes(4), Friedrich Hirzebruch(4), Max Koecher(4), Klaus Mainzer(4), Alexander Prestel(4), Reinhold Remmert(4), Jürgen Neukirch(3), Gert H. Müller(3), Akihiro Kanamori(3), Klaus Lamotke(2), Craig Fraser(2), Ernst Zermelo(2), Gerald E. Sacks(1), Dirk van Dalen(1), Logic Colloquium(1), J. Fernández-Prida(1), M. Isabel Garrido(1), Daniel Lascar(1)