| Publication | Date of Publication | Type |
|---|
| Recollections of logicians, mathematicians and philosophers | 2024-02-20 | Paper |
| Reflections on the Axiomatic Approach to Continuity | 2022-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5040170 | 2022-10-11 | Paper |
| A parametrised axiomatization for a large number of restricted second-order logics | 2022-07-06 | Paper |
| Higher-Order Logic and Type Theory | 2022-03-09 | Paper |
| Reflections on Bourbaki's notion of ``structure and categories | 2021-03-31 | Paper |
| Intuitionistic/Constructive Accounts of the Continuum Today | 2021-02-12 | Paper |
| The continuous, the discrete and the infinitesimal in philosophy and mathematics | 2019-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5358398 | 2017-09-21 | Paper |
| The Axiom of Choice in the Foundations of Mathematics | 2015-07-01 | Paper |
| Conclusion: A Perspective on Future Research in FOM | 2015-07-01 | Paper |
| MARK VAN ATTEN, PASCAL BOLDINI, MICHEL BOURDEAU, and GERHARD HEINZMANN, eds., One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference. Basel, Boston, Berlin: Birkhauser, 2008. ISBN 978-3-7643-8652-8. Pp. xiii + 422 | 2015-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5498681 | 2015-02-10 | Paper |
| Types, Sets, and Categories | 2012-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007387 | 2011-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3586990 | 2010-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3527480 | 2008-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3503663 | 2008-06-06 | Paper |
| Corrigendum to “Incompleteness in a General Setting” | 2008-05-08 | Paper |
| The axiom of choice and the law of excluded middle in weak set theories | 2008-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5441384 | 2008-02-13 | Paper |
| Incompleteness in a General Setting | 2007-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3022775 | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663838 | 2005-04-04 | Paper |
| Some new intuitionistic equivalents of Zorn's Lemma | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552732 | 2003-08-24 | Paper |
| Hermann Weyl on intuition and the continuum | 2002-01-22 | Paper |
| Sets and classes as many | 2001-12-03 | Paper |
| Finite sets and frege structures | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942164 | 2000-03-21 | Paper |
| Frege's theorem in a constructive setting | 2000-02-15 | Paper |
| Boolean Algebras and Distributive Lattices Treated Constructively | 1999-05-18 | Paper |
| Frege's Theory of Concepts and Objects and the Interpretation of Second-order Logict | 1998-10-15 | Paper |
| Zorn's lemma and complete Boolean algebras in intuitionistic type theories | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208528 | 1998-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208511 | 1998-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208003 | 1998-08-31 | Paper |
| Polymodal Lattices and Polymodal Logic | 1997-01-29 | Paper |
| Elementary propositions and independence | 1996-10-14 | Paper |
| Precovers, Modalities and Universal Closure Operators in a Topos | 1996-07-28 | Paper |
| QuasiBoolean algebras and simultaneously definite properties in quantum mechanics | 1996-05-01 | Paper |
| Infinitesimals and the continuum | 1996-03-05 | Paper |
| Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined | 1996-01-21 | Paper |
| Hilbert's ϵ‐operator in intuitionistic type theories | 1994-10-05 | Paper |
| Fregean Extensions of First‐Order Theories | 1994-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4039735 | 1993-06-05 | Paper |
| Hilbert's \(\varepsilon{}\)-operator and classical logic | 1993-05-16 | Paper |
| Some propositions equivalent to the Sikorski Extension Theorem for Boolean algebras | 1988-01-01 | Paper |
| A New Approach to Quantum Logic | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3710519 | 1985-01-01 | Paper |
| Obituary: Edward Hubert Linfoot | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346311 | 1983-01-01 | Paper |
| On the strength of the Sikorski extension theorem for Boolean algebras | 1983-01-01 | Paper |
| Some aspects of the category of subobjects of constant objects in a topos | 1982-01-01 | Paper |
| Categories, toposes and sets | 1982-01-01 | Paper |
| Category Theory and the Foundations of Mathematics | 1981-01-01 | Paper |
| Isomorphism of structures in S-toposes | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4146730 | 1977-01-01 | Paper |
| Universal Complete Boolean Algebras and Cardinal Collapsing | 1976-01-01 | Paper |
| A Note on Generic Ultrafilters | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135526 | 1976-01-01 | Paper |
| A Characterization of Universal Complete Boolean Algebras | 1975-01-01 | Paper |
| On Compact Cardinals | 1974-01-01 | Paper |
| A geometric form of the axiom of choice | 1972-01-01 | Paper |
| On the relationship between weak compactness inL ω 1 ω,L ω 1 ω 1, and restricted second-order languages | 1972-01-01 | Paper |
| The Maximal Ideal Theorem for Lattices of Sets | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5633992 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609963 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5590794 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5570212 | 1969-01-01 | Paper |
