Hello! I’m Shuwei Wang (王书玮),
a PhD student at the Logic Group, University of Leeds.
My current research is centred around various formal systems of intuitionistic logic, including arithmetic and set theories. My work involves studying proof-theoretic interpretations like cut-elimination results and realisability models to determine the consistency strength and other properties of said theories.
I have a broad interest in different approaches of dealing with a formal language, such as traditional proof theory, higher recursion theory, type theory and computer-assisted proof verification.
Here is my curriculum vitae, along with other resources you can find on this site:
Education
- PhD in Pure Mathematics (on-going) at the University of Leeds. Supervised by Prof. Michael Rathjen and Dr Paul Shafer.
- Master of Mathematics and Philosophy at St Peter’s College, University of Oxford, 2022.
Publications
- Higher-Order Conceptual Mathematics and Intuitionistic Set Theory: Well-Orderings, Ordinals and Göodel’s \(L\), PhD thesis, in preparation.
- An equiconsistency proof for \(\mathrm{CZF} + V = L\), submitted. [arXiv]
- Antichain of ordinals in intuitionistic set theory, The Journal of Symbolic Logic, accepted for publication. [arXiv]
- Recent developments on predicative foundations, with Michael Rathjen. In: Pillars of Enduring Strength: Learning from Hermann Weyl, edited by Laura Crosilla, Øystein Linnebo, and Michael Rathjen, Oxford University Press, upcoming.
- Some notes on plump ordinals, available at arXiv:2601.23070 [math.LO], 2026. [preprint, arXiv]
- An ordinal analysis of CM and its extensions, available at arXiv:2501.12631 [math.LO], 2025. [preprint, arXiv]
- Separating two notions of finiteness, unpublished notes, 2023. [preprint]
Talks
- Realisability semantics and choice principles for Weaver’s third-order conceptual mathematics, special session talk at 18th Asian Logic Conference, Sept. 2025. [abstract, slides]
- Analysing Gödel’s \(L\) in realisability models of \(\mathrm{CZF}\), special session talk at Computability in Europe 2025, July 2025. [abstract, slides]
- The global well-ordering on Weaver’s third-order conceptual mathematics, contributed talk at Proof Society 2024: 6th International School and Workshop on Proof Theory, Sept. 2024. [abstract, slides]
- \(\Sigma^1_1\)-computability and realisability of a global well-ordering, invited talk at Leeds Computability Days 2024: Computability, Reverse Mathematics, and Topology, July 2024. [abstract]
Honours & Awards
- Best Student Presentation Award, Proof Society 2024: 6th International School and Workshop on Proof Theory, Sept. 2024.
- Gibbs Prize in Mathematics for 4 consecutive years, University of Oxford, 2019–22.
- (Team) 13th place, the UK & Ireland Programming Contest, 2019.
- Domus Scholarship, St Peter’s College, Oxford, Oct. 2019.
Grants
- Reverse mathematics for the working mathematician, Studentship under Mathematics Doctoral Training Partnership at the University of Leeds, UK Engineering and Physical Sciences Research Council, 2023–26 [EP/W523860/1]. [UKRI Gateway]
Undergraduate projects
- A few talks on \(A_\infty\)-categories and operad theory, in a self-organised reading group on Homological Mirror Symmetry by several Oxford master’s students, 2022. [website and notes]
- A Carnapian resolution for pluralism about the large cardinal hierarchy, Undergraduate Course 199 for Finals: Thesis at the Faculty of Philosophy, Oxford, 2022. Supervised by Mr Hans Robin Solberg. [preprint]
- The application of model-theoretical o-minimality to complex analysis, Part B Extended Essay Project at the Mathematical Institute, Oxford, 2021. Supervised by Prof. Jonathan Pila FRS. [preprint]
Online presence
I write maths-related posts in Chinese on the Q&A site “知乎” (Zhihu): beanandbean - 知乎.