Academia.edu | arXiv | GitHub | Google Scholar | ISNI | MathSciNet | MGP | ORCID | ResearchGate | Scopus
Publications and work in progress
- Sylvy Anscombe, Dugald Macpherson, Charles Steinhorn and Daniel Wolf: ‘Multidimensional asymptotic classes’, submitted for publication, 2024.
arXiv - Daniel Wolf, Gasser Farrag, Tabea Flügge and Lan Huong Timm: ‘Predicting Outcome in Clear Aligner Treatment: A Machine Learning Analysis’, Journal of Clinical Medicine, vol. 13, no. 13: 3672, 2024.
doi.org/10.3390/jcm13133672
Part of the Special Issue New Approaches and Technologies in Orthodontics—2nd Edition. - Lan Huong Timm, Gasser Farrag, Daniel Wolf, Martin Baxmann and Falk Schwendicke: ‘Effect of Electronic Reminders on Patients’ Compliance during Clear Aligner Treatment: An Interrupted Time-Series Study’, Scientific Reports 12: 16652, 2022.
doi.org/10.1038/s41598-022-20820-5 - Daniel Wolf: ‘Multidimensional exact classes, smooth approximation and bounded 4-types’, Journal of Symbolic Logic, vol. 85, no. 4, pp. 1305–1341, 2020.
doi.org/10.1017/jsl.2020.37 | arXiv | Preprint - Daniel Wolf: ‘Model theory of multidimensional asymptotic classes’, PhD thesis, University of Leeds, 2016.
White Rose eTheses | EThOS | Mathematics Genealogy Project
I did my PhD under the superb supervision of Dugald Macpherson at the University of Leeds. - Daniel Wood: Report on the Fourth British Postgraduate Model Theory Conference, Newsletter of the London Mathematical Society, no. 434, March 2014, pp. 14–15.
I was the chairman of the organising committee of this conference.
Contributions to open-source software projects
- github.com/CreativeDataEU/PowerBITrinoConnector/commits?author=dwolfeu
I added OAuth to the connector. - github.com/shap/shap/commits?author=dwolfeu
I added a call method to the KernelExplainer class. - github.com/trinodb/trino-python-client/commits?author=dwolfeu
I added try_cast to the sqlalchemy compiler.
Talks
- ‘The Gower distance’, Hypoport online event "Product meets AI", 16th January 2024. Abstract
- ‘Different sizes of infinity’, Oetker Digital Engineering Breakfast, 28th January 2020. Abstract | Slides
- ‘An Introduction to Latent-Factor Models’, Measure Camp Berlin, 28th September 2019. Abstract
- ‘Multidimensional exact classes and Lie coordinatisation’, Model theory of finite and pseudofinite structures,
University of Leeds, 29th July 2016. Abstract - ‘Model theory: Your new favourite area of maths’, Warwick Mathematics and Philosophy, 17th March 2016. Abstract
- ‘Exact classes and smooth approximation’, Midlands Logic Seminar, 17th March 2016. Abstract | Slides
- ‘Asymptotic classes and Lie coordinatisation’, 7th meeting of the Lancashire–Yorkshire Model Theory Seminar (LYMoTS), UCLan (Preston), 5th December 2015. Abstract | Slides
- ‘The Axiom of Choice, or: One Principle, Many Things’, Leeds Pure Mathematics Postgraduate Seminar,
19th November 2015. Abstract - ‘Interpretations: semantic and syntactic’, Leeds Postgraduate Model Theory Seminar, 18th February 2015. Abstract
- ‘Ultrafilters and ultraproducts’, Leeds Pure Mathematics Postgraduate Seminar, 12th February 2015. Abstract
- ‘R-macs’, Leeds Model Theory Seminar, 28th October 2014. Abstract
- ‘Asymptotic classes’, British Logic Colloquium PhD Day 2014, UCLan (Preston), 2nd September 2014.
Abstract | Slides - ‘Indiscernibles’, Leeds Postgraduate Model Theory Seminar, 19th November 2012. Abstract
Unpublished work
Mathematics and the philosophy of mathematics
- A poster about asymptotic classes, 2014.
I presented this at Angus Macintyre's retirement conference at ICMS in Edinburgh.
- With Lovkush Agarwal and Ricardo Bello Aguirre: Lecture notes of a graduate course given by Anand Pillay on stable groups, 2013.
In order to get credits for the course, Lovkush, Ricardo and I typed up the notes. We did approximately a chapter each. I did the first chapter. The notes are a little rough around the edges. - My MA dissertation ‘Changing Spaces: Can synthetic differential geometry offer an autonomous foundation for mathematics?’, 2010.
I wrote this under the supervision of Richard Pettigrew at the University of Bristol. - An essay about the effect of Gödel's incompleteness theorems on Hilbert's programme, 2010.
I wrote this for a module about the philosophy of mathematics taught by Øystein Linnebo as part of my MA at the University of Bristol.
Erratum: The description of Robinson arithmetic (Q) given on page 9 is incorrect: The axioms of Q are characterised as being much stronger than they actually are. - My MMath final-year project ‘Finite set theory, arithmetic, and interpretations between them’, 2009.
I wrote this under the supervision of Adam Epstein at the University of Warwick.
General warning: I wrote this somewhat hurriedly and consequently there are some typos and unfortunately even some mathematical mistakes. The statements of the theorems are (I think!) all correct, but some of the “proofs”, especially towards the end, should be read with caution. - A tongue-in-cheek parody of the famous ‘To be, or not to be’ soliloquy from Hamlet on the topic of the axiom of choice, 2008/2015.
Other areas
- An essay about relational quantum mechanics, 2010.
I wrote this for a module taught by James Ladyman about the philosophy of physics as part of my MA at the University of Bristol.
Erratum: On pages 6 and 7 superpositions of classical states are incorrectly characterised as mixed states. - An essay about Darwinian natural selection and the historical lack of knowledge of the mechanism of inheritance, 2010.
I wrote this for a module taught by Andrew Pyle about the history of science as part of my MA at the University of Bristol. It was the bicentenary of Darwin's birth (in 2009 when we started the module), which is why we chose to study his work in particular.