Dr Richard Matthews
- Position: Research Associate
- Areas of expertise: Infinity; Set Theory; Weak Set Theory; Intuitionistic Set Theory; Large Cardinal Axioms.
- Email: R.M.A.Matthews@leeds.ac.uk
I completed a PhD in mathematical logic at the University of Leeds in 2021 under the supervision of Michael Rathjen and Andrew Brooke-Taylor. Before that, I was at the University of Bristol, where I completed a masters degree in Mathematics.
I am currently a Research Associate, investigating Collection Principles in Set Theory. This is a project to separate, under set theory without Power Set, axioms such as Replacement, Collection, Reflection and the various schemes of Dependent Choices.
- Very large set axioms over constructive set theories (joint with Hanul Jeon): 2022, arXiv: 2204.05831.
- Taking Reinhardt’s Power Away: The Journal of Symbolic Logic, p 1-21, 2022. doi:10.1017/jsl.2022.9.
Links to talks and slides:
Constructing the Constructible Universe Constructively, Manchester Logic Seminar, March 2022
Big Classes and the Respected Model, CUNY Set Theory Seminar, February 2022
Big Classes and the Respected Model, Leeds-Ghent Virtual Logic Seminar, February 2022
Large Cardinals in Weakened Axiomatic Theories, Toronto Set Theory Seminar, July 2021
Ordinal Oddities, Leeds-Ghent Virtual Logic Seminar, February 2021
Taking Reinhardt's Power Away, Barcelona Set Theory Seminar, January 2021
Big Classes and Class Forcings, Prikry Forcing Online, December 2020
Playing Jenga with Infinite Cardinals, Londom Mathematical Society Virtual Graduate Student Meeting, November 2020
Taking Reinhardt's Power Away, CUNY Set Theory Seminar, October 2020
Constructing the Constructible Universe Constructively, Leeds Virtual Seminar, July 2020
Embeddings of ZFC without Power Set, Set Theory in the UK 5, February 2020
Set Theory, in particular:
- Axiomatic Set Theory
- Large Cardinal Axioms
- Set Theory Without the Power Set
- Intuitionistic Set Theory
- Choiceless Set Theory
- PhD, University of Leeds
- MSci Mathematics, University of Bristol
Currently I am a supervisor for a group undergraduate project in mathematics, titled Rethinking Set Theory, as part of the module MATH3001.
Research groups and institutes
- Pure Mathematics