| Publication | Date of Publication | Type |
|---|
Gödel's First Proof of the Consistency of the Axiom of Choice
History and Philosophy of Logic | 2026-03-31 | Paper |
Kunen the expositor
Annals of Pure and Applied Logic | 2023-10-12 | Paper |
| scientific article; zbMATH DE number 7585094 (Why is no real title available?) | 2022-09-14 | Paper |
| scientific article; zbMATH DE number 7385378 (Why is no real title available?) | 2021-08-25 | Paper |
Cantor and Continuity
The History of Continua | 2021-02-12 | Paper |
Putnam's constructivization argument
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Mathias and set theory
Mathematical Logic Quarterly (MLQ) | 2016-06-24 | Paper |
Erdős and set theory
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
Laver and set theory
Archive for Mathematical Logic | 2016-03-02 | Paper |
Mathematical knowledge: Motley and complexity of proof
Annals of the Japan Association for Philosophy of Science | 2014-04-25 | Paper |
The mathematical infinite as a matter of method
Annals of the Japan Association for Philosophy of Science | 2013-11-18 | Paper |
Set Theory from Cantor to Cohen
Handbook of the History of Logic | 2012-10-12 | Paper |
Large Cardinals with Forcing
Handbook of the History of Logic | 2012-10-12 | Paper |
In praise of replacement
The Bulletin of Symbolic Logic | 2012-04-20 | Paper |
In praise of replacement
The Bulletin of Symbolic Logic | 2012-04-20 | Paper |
| scientific article; zbMATH DE number 6011038 (Why is no real title available?) | 2012-03-02 | Paper |
Kunen and set theory
Topology and its Applications | 2011-12-02 | Paper |
| scientific article; zbMATH DE number 5859779 (Why is no real title available?) | 2011-03-02 | Paper |
Introduction
Handbook of Set Theory | 2010-11-05 | Paper |
Cohen and Set Theory
The Bulletin of Symbolic Logic | 2009-03-25 | Paper |
Bernays and Set Theory
The Bulletin of Symbolic Logic | 2009-03-25 | Paper |
| The higher infinite. Large cardinals in set theory from their beginnings. | 2008-11-17 | Paper |
Gödel and Set Theory
The Bulletin of Symbolic Logic | 2007-10-22 | Paper |
Gödel and Set Theory
The Bulletin of Symbolic Logic | 2007-10-22 | Paper |
| scientific article; zbMATH DE number 5037239 (Why is no real title available?) | 2006-06-29 | Paper |
Levy and set theory
Annals of Pure and Applied Logic | 2006-06-16 | Paper |
Zermelo and Set Theory
The Bulletin of Symbolic Logic | 2006-01-12 | Paper |
Zermelo and Set Theory
The Bulletin of Symbolic Logic | 2005-05-24 | Paper |
The Empty Set, The Singleton, and the Ordered Pair
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
| scientific article; zbMATH DE number 1908324 (Why is no real title available?) | 2003-05-11 | Paper |
Hilbert and set theory
Synthese | 2000-03-29 | Paper |
The Mathematical Import of Zermelo's Well-Ordering Theorem
The Bulletin of Symbolic Logic | 1998-01-28 | Paper |
The Mathematical Import of Zermelo's Well-Ordering Theorem
The Bulletin of Symbolic Logic | 1998-01-28 | Paper |
The Mathematical Development of Set Theory from Cantor to Cohen
The Bulletin of Symbolic Logic | 1996-06-02 | Paper |
The Mathematical Development of Set Theory from Cantor to Cohen
The Bulletin of Symbolic Logic | 1996-06-02 | Paper |
Complete Quotient Boolean Algebras
(available as arXiv preprint) | 1995-12-13 | Paper |
| scientific article; zbMATH DE number 702561 (Why is no real title available?) | 1994-12-13 | Paper |
Regressive partition relations, \(n\)-subtle cardinals, and Borel diagonalization
Annals of Pure and Applied Logic | 1992-06-25 | Paper |
The compleat 0†
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
Regressive partitions and Borel diagonalization
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4033733 (Why is no real title available?) | 1988-01-01 | Paper |
On Gödel incompleteness and finite combinatorics
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
| Regressive Partition Relations for Infinite Cardinals | 1987-01-01 | Paper |
Finest partitions for ultrafilters
Journal of Symbolic Logic | 1986-01-01 | Paper |
Partition relations for successor cardinals
Advances in Mathematics | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3831929 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3779313 (Why is no real title available?) | 1982-01-01 | Paper |
Perfect-set forcing for uncountable cardinals
Annals of Mathematical Logic | 1980-01-01 | Paper |
Strong axioms of infinity and elementary embeddings
Annals of Mathematical Logic | 1978-01-01 | Paper |
