| Publication | Date of Publication | Type |
|---|
How mathematicians learned to stop worrying and love the computer
Springer Proceedings in Mathematics & Statistics | 2020-07-21 | Paper |
| Constructibility | 2017-07-06 | Paper |
| Finding Fibonacci | 2017-02-06 | Paper |
Mathematicians discuss the Snowden revelations
Notices of the American Mathematical Society | 2016-06-15 | Paper |
| The man of numbers. Fibonacci's arithmetic revolution | 2014-07-24 | Paper |
| Recreational mathematics in Leonardo of Pisa's \textit{Liber abbaci} | 2012-09-05 | Paper |
| Mathematics education for a new era. Video games as a medium for learning | 2011-05-19 | Paper |
| scientific article; zbMATH DE number 5810598 (Why is no real title available?) | 2010-11-05 | Paper |
| scientific article; zbMATH DE number 5614911 (Why is no real title available?) | 2009-10-14 | Paper |
| The unfinished game. Pascal, Fermat, and the seventeenth-century letter that made the world modern. A tale of how mathematics is really done | 2009-09-01 | Paper |
Modeling Real Reasoning
Formal Theories of Information | 2009-05-12 | Paper |
| The computer as crucible. An introduction to experimental mathematics. With illustrations by Karl H. Hofmann | 2009-01-05 | Paper |
| scientific article; zbMATH DE number 5363671 (Why is no real title available?) | 2008-11-10 | Paper |
A mathematician reflects on the useful and reliable illusion of reality in mathematics
Erkenntnis | 2008-10-16 | Paper |
Jon Barwise's Papers on Natural Language Semantics
The Bulletin of Symbolic Logic | 2005-05-24 | Paper |
| scientific article; zbMATH DE number 2039370 (Why is no real title available?) | 2004-02-10 | Paper |
| scientific article; zbMATH DE number 1958382 (Why is no real title available?) | 2003-08-03 | Paper |
| scientific article; zbMATH DE number 1958380 (Why is no real title available?) | 2003-08-03 | Paper |
| scientific article; zbMATH DE number 1845043 (Why is no real title available?) | 2002-12-15 | Paper |
| The science of patterns. The search for order in life, mind and the universe | 2002-04-14 | Paper |
| Mathematics: the new golden age. | 2002-04-09 | Paper |
| scientific article; zbMATH DE number 1670883 (Why is no real title available?) | 2001-12-09 | Paper |
| scientific article; zbMATH DE number 1517488 (Why is no real title available?) | 2000-10-16 | Paper |
| scientific article; zbMATH DE number 1242261 (Why is no real title available?) | 1999-01-19 | Paper |
The Logical Structure of Computer-Aided Mathematical Reasoning
The American Mathematical Monthly | 1998-07-12 | Paper |
| Good-bye Descartes? | 1998-04-20 | Paper |
| scientific article; zbMATH DE number 1138737 (Why is no real title available?) | 1998-04-05 | Paper |
Mathematical proofs in the computer age
The Mathematical Gazette | 1997-10-14 | Paper |
| scientific article; zbMATH DE number 1023587 (Why is no real title available?) | 1997-06-16 | Paper |
| scientific article; zbMATH DE number 1014076 (Why is no real title available?) | 1997-05-27 | Paper |
| scientific article; zbMATH DE number 871294 (Why is no real title available?) | 1996-04-28 | Paper |
| scientific article; zbMATH DE number 837303 (Why is no real title available?) | 1996-01-23 | Paper |
| scientific article; zbMATH DE number 481632 (Why is no real title available?) | 1993-12-14 | Paper |
| scientific article; zbMATH DE number 473381 (Why is no real title available?) | 1993-12-06 | Paper |
| scientific article; zbMATH DE number 107978 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 108117 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 49692 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 46611 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 47511 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 3968689 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3861143 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3884143 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3865361 (Why is no real title available?) | 1984-01-01 | Paper |
Reduced powers of $ℵ_2$-trees
Fundamenta Mathematicae | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3829897 (Why is no real title available?) | 1983-01-01 | Paper |
A new construction of a Kurepa tree with no Aronszajn subtree
Fundamenta Mathematicae | 1983-01-01 | Paper |
The combinatorial principle ⋄#
Journal of Symbolic Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3747096 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3811528 (Why is no real title available?) | 1981-01-01 | Paper |
Infinite Trees and the Axiom of Constructibility
Bulletin of the London Mathematical Society | 1981-01-01 | Paper |
Concerning the consistency of the Souslin hypothesis with the continuum hypothesis
Annals of Mathematical Logic | 1980-01-01 | Paper |
A Note on the Normal Moore Space Conjecture
Canadian Journal of Mathematics | 1979-01-01 | Paper |
Variations on ◊
Journal of Symbolic Logic | 1979-01-01 | Paper |
Fundamentals of contemporary set theory
Universitext | 1979-01-01 | Paper |
Souslin Properties and Tree Topologies
Proceedings of the London Mathematical Society | 1979-01-01 | Paper |
Remark on a theorem of D. H. Fremlin concerning K-analytic Hausdorff spaces
Proceedings of the Edinburgh Mathematical Society | 1979-01-01 | Paper |
A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
Israel Journal of Mathematics | 1978-01-01 | Paper |
A Note on the Combinatorial Principles ◊(E)
Proceedings of the American Mathematical Society | 1978-01-01 | Paper |
ℵ1-TREES
Annals of Mathematical Logic | 1978-01-01 | Paper |
Iterated Souslin forcing, the principles \(\diamondsuit(E)\) and a generalisation of the axiom SAD
Israel Journal of Mathematics | 1978-01-01 | Paper |
The consistency with CH of some consequences of Martin's axiom plus \(2^{\aleph_0}>\aleph_1\)
Israel Journal of Mathematics | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3708391 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3587030 (Why is no real title available?) | 1978-01-01 | Paper |
Hierarchies of constructible sets
Annals of Mathematical Logic | 1977-01-01 | Paper |
The axiom of constructibility. A guide for the mathematician
Lecture Notes in Mathematics | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3564977 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3529851 (Why is no real title available?) | 1975-01-01 | Paper |
Kurepa's hypothesis and the continuum
Fundamenta Mathematicae | 1975-01-01 | Paper |
A note on a problem of Erdős and Hajnal
Discrete Mathematics | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3506695 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3520411 (Why is no real title available?) | 1975-01-01 | Paper |
Order types, trees, and a problem of Erdős and Hajnal
Periodica Mathematica Hungarica | 1974-01-01 | Paper |
The Souslin problem
Lecture Notes in Mathematics | 1974-01-01 | Paper |
Some remarks on changing cofinalities
Journal of Symbolic Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3461929 (Why is no real title available?) | 1974-01-01 | Paper |
On hereditarily separable Hausdorff spaces in the constructible universe
Fundamenta Mathematicae | 1974-01-01 | Paper |
Measurable cardinals and a combinatorial principle of Jensen
Journal of Symbolic Logic | 1974-01-01 | Paper |
Some weak versions of large cardinal axioms
Annals of Mathematical Logic | 1973-01-01 | Paper |
Aspects of constructibility
Lecture Notes in Mathematics | 1973-01-01 | Paper |
More on the free subset problem
Annals of Mathematical Logic | 1973-01-01 | Paper |
Note on a theorem of J. Baumgartner
Fundamenta Mathematicae | 1972-01-01 | Paper |
