| Publication | Date of Publication | Type |
|---|
| Introduction to set theory | 2021-08-24 | Paper |
| Mathematical Logic | 2021-06-08 | Paper |
| Einführung in die mathematische Logik | 2018-10-01 | Paper |
| Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus | 2015-07-29 | Paper |
| Zermelo and the Heidelberg Congress 1904 | 2008-02-11 | Paper |
| Introduction to mathematical logic | 2007-10-18 | Paper |
| Zermelo: Boundary numbers and domains of sets continued | 2007-05-18 | Paper |
| Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus | 2007-01-10 | Paper |
| Finite Model Theory | 2005-11-17 | Paper |
| Zermelo: definiteness and the universe of definable sets | 2004-06-22 | Paper |
| Zermelo in the mirror of the Baer correspondence, 1930--1931. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422744 | 2003-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789462 | 2003-01-29 | Paper |
| Introduction to set theory | 2002-04-04 | Paper |
| Zermelo and the Skolem Paradox | 2002-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255575 | 1999-08-17 | Paper |
| Is there a logic for polynomial time? | 1999-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395555 | 1998-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4894127 | 1996-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4850061 | 1995-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4298571 | 1994-07-31 | Paper |
| Zahlen | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023926 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003179 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998810 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998849 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3767336 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220545 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3331164 | 1983-01-01 | Paper |
| Undecidability Of Some Domino Connectability Problems | 1982-01-01 | Paper |
| Interpolation in Logiken monotoner systeme | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875928 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182465 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128572 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135456 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135520 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135527 | 1976-01-01 | Paper |
| Modelltheorie und Logik | 1975-01-01 | Paper |
| Zum \(L(Q)\)-Interpolationsproblem | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071225 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773697 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663764 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668450 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668451 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668453 | 1972-01-01 | Paper |
| On models with large automorphism groups | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5612465 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5612463 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663842 | 1970-01-01 | Paper |
| Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen | 1969-01-01 | Paper |
| Überfür-fast-alle-Quantoren | 1969-01-01 | Paper |
