| Publication | Date of Publication | Type |
|---|
| In praise of logic. On Bourbaki and (the lack of) teaching logic | 2018-07-23 | Paper |
Rudimentary recursion, gentle functions and provident sets
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
Provident sets and rudimentary set forcing
Fundamenta Mathematicae | 2015-04-14 | Paper |
Definable orthogonality classes in accessible categories are small
Journal of the European Mathematical Society (JEMS) | 2015-04-13 | Paper |
HILBERT, BOURBAKI AND THE SCORNING OF LOGIC
Infinity and Truth | 2015-03-16 | Paper |
| Set forcing over models of Zermelo or Mac Lane | 2010-09-02 | Paper |
Unordered pairs in the set theory of Bourbaki 1949
Archiv der Mathematik | 2010-02-25 | Paper |
Epireflections and supercompact cardinals
Journal of Pure and Applied Algebra | 2009-04-16 | Paper |
| Weak systems of Gandy, Jensen and Devlin | 2007-03-05 | Paper |
A note on the schemes of replacement and collection
Archive for Mathematical Logic | 2007-02-14 | Paper |
Analytic sets under attack
Mathematical Proceedings of the Cambridge Philosophical Society | 2005-06-21 | Paper |
| scientific article; zbMATH DE number 2164272 (Why is no real title available?) | 2005-05-03 | Paper |
| scientific article; zbMATH DE number 2163171 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2163172 (Why is no real title available?) | 2005-04-29 | Paper |
A term of length 4 523 659 424 929
Synthese | 2003-04-27 | Paper |
The strength of Mac Lane set theory
Annals of Pure and Applied Logic | 2003-01-13 | Paper |
Delays, recurrence and ordinals
Proceedings of the London Mathematical Society. Third Series | 2002-01-28 | Paper |
Slim models of Zermelo set theory
The Journal of Symbolic Logic | 2001-10-14 | Paper |
Strong Statements of Analysis
Bulletin of the London Mathematical Society | 2000-12-13 | Paper |
| scientific article; zbMATH DE number 1126840 (Why is no real title available?) | 1998-05-29 | Paper |
| scientific article; zbMATH DE number 1047742 (Why is no real title available?) | 1997-11-11 | Paper |
| scientific article; zbMATH DE number 218592 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 96368 (Why is no real title available?) | 1993-01-17 | Paper |
The ignorance of Bourbaki
The Mathematical Intelligencer | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 19160 (Why is no real title available?) | 1992-06-26 | Paper |
On the existence of large <i>p</i>-ideals
Journal of Symbolic Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3954895 (Why is no real title available?) | 1985-01-01 | Paper |
Unsound ordinals
Mathematical Proceedings of the Cambridge Philosophical Society | 1984-01-01 | Paper |
Supercontinuity
Mathematical Proceedings of the Cambridge Philosophical Society | 1982-01-01 | Paper |
Surrealist landscape with figures (a survey of recent results in set theory)
Periodica Mathematica Hungarica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3595180 (Why is no real title available?) | 1978-01-01 | Paper |
On the existence of an analytic set meeting each compact set in a Borel set
Mathematical Proceedings of the Cambridge Philosophical Society | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3657804 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3628951 (Why is no real title available?) | 1977-01-01 | Paper |
Happy families
Annals of Mathematical Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3532955 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3508494 (Why is no real title available?) | 1974-01-01 | Paper |
On sequences generic in the sense of Prikry
Journal of the Australian Mathematical Society | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3366919 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3290299 (Why is no real title available?) | 1968-01-01 | Paper |
