| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3176746 | 2018-07-23 | Paper |
| Rudimentary recursion, gentle functions and provident sets | 2015-05-22 | Paper |
| Provident sets and rudimentary set forcing | 2015-04-14 | Paper |
| Definable orthogonality classes in accessible categories are small | 2015-04-13 | Paper |
| HILBERT, BOURBAKI AND THE SCORNING OF LOGIC | 2015-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3581789 | 2010-09-02 | Paper |
| Unordered pairs in the set theory of Bourbaki 1949 | 2010-02-25 | Paper |
| Epireflections and supercompact cardinals | 2009-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425062 | 2007-03-05 | Paper |
| A note on the schemes of replacement and collection | 2007-02-14 | Paper |
| Analytic sets under attack | 2005-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4676105 | 2005-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4671994 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4671995 | 2005-04-29 | Paper |
| A term of length 4 523 659 424 929 | 2003-04-27 | Paper |
| The strength of Mac Lane set theory | 2003-01-13 | Paper |
| Delays, Recurrence and Ordinals | 2002-01-28 | Paper |
| Slim models of Zermelo set theory | 2001-10-14 | Paper |
| Strong Statements of Analysis | 2000-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4379933 | 1998-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4347909 | 1997-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694282 | 1993-06-29 | Paper |
| The ignorance of Bourbaki | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4020746 | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976588 | 1992-06-26 | Paper |
| On the existence of large p-ideals | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3724321 | 1985-01-01 | Paper |
| Unsound ordinals | 1984-01-01 | Paper |
| Supercontinuity | 1982-01-01 | Paper |
| Surrealist landscape with figures (a survey of recent results in set theory) | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163530 | 1978-01-01 | Paper |
| On the existence of an analytic set meeting each compact set in a Borel set | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3856768 | 1977-01-01 | Paper |
| Happy families | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190638 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109680 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088818 | 1974-01-01 | Paper |
| On sequences generic in the sense of Prikry | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5639709 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572322 | 1968-01-01 | Paper |
