| Set Theory: a first course DW Cunningham Cambridge University Press, 2016 | 40 | 2016 |
| A logical introduction to proof D Cunningham Springer Science & Business Media, 2012 | 40 | 2012 |
| The real core model and its scales DW Cunningham Annals of Pure and Applied Logic 72 (3), 213-289, 1995 | 11 | 1995 |
| Is there a set of reals not in K (R)? DW Cunningham Annals of pure and applied logic 92 (2), 161-210, 1998 | 9 | 1998 |
| A covering lemma for DW Cunningham Archive for Mathematical Logic 46 (3), 197-221, 2007 | 5 | 2007 |
| Real Analysis: With Proof Strategies DW Cunningham Chapman and Hall/CRC, 2021 | 4 | 2021 |
| On forcing over DW Cunningham Archive for Mathematical Logic, 1-9, 2022 | 3* | 2022 |
| The fine structure of real mice DW Cunningham The Journal of Symbolic Logic 63 (3), 937-994, 1998 | 3 | 1998 |
| Why does trigonometric substitution work? DW Cunningham International Journal of Mathematical Education in Science and Technology 49 …, 2018 | 2 | 2018 |
| A covering lemma for L (ℝ) DW Cunningham Archive for Mathematical Logic 41, 49-54, 2002 | 2 | 2002 |
| A diamond principle consistent with AD D Cunningham | 1 | 2017 |
| Strong partition cardinals and determinacy in DW Cunningham Archive for Mathematical Logic 54 (1), 173-192, 2015 | 1 | 2015 |
| Mathematical Induction DW Cunningham, DW Cunningham A Logical Introduction to Proof, 99-141, 2013 | 1 | 2013 |
| Predicate Logic DW Cunningham, DW Cunningham A Logical Introduction to Proof, 29-60, 2013 | 1 | 2013 |
| Scales of minimal complexity in DW Cunningham Archive for Mathematical Logic 51 (3), 319-351, 2012 | 1 | 2012 |
| The real core model DW Cunningham University of California, Los Angeles, 1990 | 1 | 1990 |
| Mathematical Logic: An Introduction D Cunningham Walter de Gruyter GmbH & Co KG, 2023 | | 2023 |
| A diamond-plus principle consistent with AD DW Cunningham Archive for Mathematical Logic 59 (5), 755-775, 2020 | | 2020 |
| Set Theory DW Cunningham Internet Encyclopedia of Philosophy, 2019 | | 2019 |
| A strong partition cardinal above DW Cunningham Archive for Mathematical Logic 56 (3), 403-421, 2017 | | 2017 |
