| Publication | Date of Publication | Type |
|---|
| How Mathematicians Learned to Stop Worrying and Love the Computer | 2020-07-21 | Paper |
| Constructibility | 2017-07-06 | Paper |
| Finding Fibonacci | 2017-02-06 | Paper |
| Mathematicians Discuss the Snowden Revelations | 2016-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5170698 | 2014-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2906387 | 2012-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3000680 | 2011-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3053930 | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3184299 | 2009-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395468 | 2009-09-01 | Paper |
| Modeling Real Reasoning | 2009-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5302105 | 2009-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3537708 | 2008-11-10 | Paper |
| A mathematician reflects on the useful and reliable illusion of reality in mathematics | 2008-10-16 | Paper |
| Jon Barwise's Papers on Natural Language Semantics | 2005-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449469 | 2004-02-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4416345 | 2003-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4416346 | 2003-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4786207 | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2782050 | 2002-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2782982 | 2002-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754209 | 2001-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4509482 | 2000-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226074 | 1999-01-19 | Paper |
| The Logical Structure of Computer-Aided Mathematical Reasoning | 1998-07-12 | Paper |
| Good-bye Descartes? | 1998-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4383818 | 1998-04-05 | Paper |
| Mathematical proofs in the computer age | 1997-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4341630 | 1997-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4337941 | 1997-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4874667 | 1996-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863588 | 1996-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4274299 | 1993-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4272993 | 1993-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023552 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023688 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3996809 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998630 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3999490 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735793 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218112 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329455 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3333100 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3037421 | 1983-01-01 | Paper |
| A new construction of a Kurepa tree with no Aronszajn subtree | 1983-01-01 | Paper |
| Reduced powers of $ℵ_2$-trees | 1983-01-01 | Paper |
| The combinatorial principle ⋄# | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659746 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931266 | 1981-01-01 | Paper |
| Infinite Trees and the Axiom of Constructibility | 1981-01-01 | Paper |
| Concerning the consistency of the Souslin hypothesis with the continuum hypothesis | 1980-01-01 | Paper |
| Fundamentals of contemporary set theory | 1979-01-01 | Paper |
| Souslin Properties and Tree Topologies | 1979-01-01 | Paper |
| Remark on a theorem of D. H. Fremlin concerning K-analytic Hausdorff spaces | 1979-01-01 | Paper |
| A Note on the Normal Moore Space Conjecture | 1979-01-01 | Paper |
| Variations on ◊ | 1979-01-01 | Paper |
| Iterated Souslin forcing, the principles \(\diamondsuit(E)\) and a generalisation of the axiom SAD | 1978-01-01 | Paper |
| The consistency with CH of some consequences of Martin's axiom plus \(2^{\aleph_0}>\aleph_1\) | 1978-01-01 | Paper |
| A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\) | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900057 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156776 | 1978-01-01 | Paper |
| A Note on the Combinatorial Principles ◊(E) | 1978-01-01 | Paper |
| ℵ1-TREES | 1978-01-01 | Paper |
| The axiom of constructibility. A guide for the mathematician | 1977-01-01 | Paper |
| Hierarchies of constructible sets | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137170 | 1976-01-01 | Paper |
| A note on a problem of Erdős and Hajnal | 1975-01-01 | Paper |
| Kurepa's hypothesis and the continuum | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4087182 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4100089 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4106202 | 1975-01-01 | Paper |
| Order types, trees, and a problem of Erdős and Hajnal | 1974-01-01 | Paper |
| The Souslin problem | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4047552 | 1974-01-01 | Paper |
| On hereditarily separable Hausdorff spaces in the constructible universe | 1974-01-01 | Paper |
| Measurable cardinals and a combinatorial principle of Jensen | 1974-01-01 | Paper |
| Some remarks on changing cofinalities | 1974-01-01 | Paper |
| Aspects of constructibility | 1973-01-01 | Paper |
| Some weak versions of large cardinal axioms | 1973-01-01 | Paper |
| More on the free subset problem | 1973-01-01 | Paper |
| Note on a theorem of J. Baumgartner | 1972-01-01 | Paper |
