| Publication | Date of Publication | Type |
|---|
Recollections of logicians, mathematicians and philosophers
Logic Journal of the IGPL | 2024-02-20 | Paper |
Reflections on the Axiomatic Approach to Continuity
Axiomatic Thinking II | 2022-12-13 | Paper |
scientific article; zbMATH DE number 7599489 (Why is no real title available?)
| 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
The History of Continua | 2021-02-12 | Paper |
The continuous, the discrete and the infinitesimal in philosophy and mathematics
The Western Ontario Series in Philosophy of Science | 2019-06-04 | Paper |
Oppositions and paradoxes. Philosophical perplexities in science and mathematics.
| 2017-09-21 | Paper |
The axiom of choice in the foundations of mathematics
The Western Ontario Series in Philosophy of Science | 2015-07-01 | Paper |
Conclusion: a perspective on future research in FOM
The Western Ontario Series in Philosophy of Science | 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
Philosophia Mathematica | 2015-04-17 | Paper |
Intuitionistic set theory
| 2015-02-10 | Paper |
Types, Sets, and Categories
Handbook of the History of Logic | 2012-10-12 | Paper |
scientific article; zbMATH DE number 5910780 (Why is no real title available?)
| 2011-06-21 | Paper |
The axiom of choice
| 2010-09-01 | Paper |
scientific article; zbMATH DE number 5347923 (Why is no real title available?)
| 2008-09-29 | Paper |
scientific article; zbMATH DE number 5285446 (Why is no real title available?)
| 2008-06-06 | Paper |
Corrigendum to “Incompleteness in a General Setting”
The Bulletin of Symbolic Logic | 2008-05-08 | Paper |
The axiom of choice and the law of excluded middle in weak set theories
Mathematical Logic Quarterly | 2008-05-08 | Paper |
The continuous and the infinitesimal in mathematics and philosophy
| 2008-02-13 | Paper |
Incompleteness in a General Setting
The Bulletin of Symbolic Logic | 2007-08-08 | Paper |
scientific article; zbMATH DE number 2184445 (Why is no real title available?)
| 2005-06-30 | Paper |
scientific article; zbMATH DE number 2152235 (Why is no real title available?)
| 2005-04-04 | Paper |
Some new intuitionistic equivalents of Zorn's Lemma
Archive for Mathematical Logic | 2004-03-07 | Paper |
scientific article; zbMATH DE number 1795212 (Why is no real title available?)
| 2003-08-24 | Paper |
Hermann Weyl on intuition and the continuum
Philosophia Mathematica. Series III | 2002-01-22 | Paper |
Sets and classes as many
Journal of Philosophical Logic | 2001-12-03 | Paper |
Finite sets and frege structures
Journal of Symbolic Logic | 2000-06-07 | Paper |
scientific article; zbMATH DE number 1418993 (Why is no real title available?)
| 2000-03-21 | Paper |
Frege's theorem in a constructive setting
Journal of Symbolic Logic | 2000-02-15 | Paper |
Boolean Algebras and Distributive Lattices Treated Constructively
Mathematical Logic Quarterly | 1999-05-18 | Paper |
Frege's Theory of Concepts and Objects and the Interpretation of Second-order Logict
Philosophia Mathematica | 1998-10-15 | Paper |
Zorn's lemma and complete Boolean algebras in intuitionistic type theories
Journal of Symbolic Logic | 1998-10-01 | Paper |
scientific article; zbMATH DE number 1195925 (Why is no real title available?)
| 1998-09-02 | Paper |
scientific article; zbMATH DE number 1195909 (Why is no real title available?)
| 1998-09-02 | Paper |
scientific article; zbMATH DE number 1194943 (Why is no real title available?)
| 1998-08-31 | Paper |
Polymodal Lattices and Polymodal Logic
Mathematical Logic Quarterly | 1997-01-29 | Paper |
Elementary propositions and independence
Notre Dame Journal of Formal Logic | 1996-10-14 | Paper |
Precovers, Modalities and Universal Closure Operators in a Topos
Mathematical Logic Quarterly | 1996-07-28 | Paper |
QuasiBoolean algebras and simultaneously definite properties in quantum mechanics
International Journal of Theoretical Physics | 1996-05-01 | Paper |
Infinitesimals and the continuum
The Mathematical Intelligencer | 1996-03-05 | Paper |
Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined
Journal of Symbolic Logic | 1996-01-21 | Paper |
Hilbert's ϵ‐operator in intuitionistic type theories
Mathematical Logic Quarterly | 1994-10-05 | Paper |
Fregean Extensions of First‐Order Theories
Mathematical Logic Quarterly | 1994-10-05 | Paper |
scientific article; zbMATH DE number 192841 (Why is no real title available?)
| 1993-06-05 | Paper |
Hilbert's \(\varepsilon{}\)-operator and classical logic
Journal of Philosophical Logic | 1993-05-16 | Paper |
Some propositions equivalent to the Sikorski Extension Theorem for Boolean algebras
Fundamenta Mathematicae | 1988-01-01 | Paper |
A New Approach to Quantum Logic
The British Journal for the Philosophy of Science | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3937166 (Why is no real title available?)
| 1985-01-01 | Paper |
Obituary: Edward Hubert Linfoot
Bulletin of the London Mathematical Society | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3880686 (Why is no real title available?)
| 1983-01-01 | Paper |
On the strength of the Sikorski extension theorem for Boolean algebras
Journal of Symbolic Logic | 1983-01-01 | Paper |
Some aspects of the category of subobjects of constant objects in a topos
Journal of Pure and Applied Algebra | 1982-01-01 | Paper |
Categories, toposes and sets
Synthese | 1982-01-01 | Paper |
Category Theory and the Foundations of Mathematics
The British Journal for the Philosophy of Science | 1981-01-01 | Paper |
Isomorphism of structures in S-toposes
Journal of Symbolic Logic | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3577208 (Why is no real title available?)
| 1977-01-01 | Paper |
Universal Complete Boolean Algebras and Cardinal Collapsing
Mathematical Logic Quarterly | 1976-01-01 | Paper |
A Note on Generic Ultrafilters
Mathematical Logic Quarterly | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3563096 (Why is no real title available?)
| 1976-01-01 | Paper |
A Characterization of Universal Complete Boolean Algebras
Journal of the London Mathematical Society | 1975-01-01 | Paper |
On Compact Cardinals
Mathematical Logic Quarterly | 1974-01-01 | Paper |
A geometric form of the axiom of choice
Fundamenta Mathematicae | 1972-01-01 | Paper |
On the relationship between weak compactness inL ω 1 ω,L ω 1 ω 1, and restricted second-order languages
Archiv für Mathematische Logik und Grundlagenforschung | 1972-01-01 | Paper |
The Maximal Ideal Theorem for Lattices of Sets
Bulletin of the London Mathematical Society | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3360164 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3331093 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3310066 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3286895 (Why is no real title available?)
| 1969-01-01 | Paper |
