Hello! I’m Shuwei Wang (王书玮).
My current research is centred around various formal systems of weak and intuitionistic logic. My work involves studying proof-theoretic interpretations between weak fragments of first-/second-order arithmetic and Kripke–Platek set theory, realisability models of their intuitionistic counterparts, as well as higher computational notions involved in these constructions, such as set recursion.
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 at the University of Leeds, 2026. Supervised by Prof. Michael Rathjen and Dr Paul Shafer.
- Master of Mathematics and Philosophy at St Peter’s College, University of Oxford, 2022.
Publications
- An equiconsistency proof for \(\mathrm{CZF} + V = L\), Annals of Pure and Applied Logic 178 (2027, upcoming), no. 3, article 103842. [preprint, arXiv, doi]
- A technical note on universal formula pcas, available at arXiv:2610.23365 [math.LO], 2026. [preprint, 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, 2026, pp. 240–286. [doi]
- Higher-order conceptual mathematics and intuitionistic set theory: Well-orderings, ordinals and Gödel’s \(L\), PhD thesis at the University of Leeds, 2026. Supervised by Prof. Michael Rathjen and Dr Paul Shafer. [preprint, eThesis]
- Antichain of ordinals in intuitionistic set theory, The Journal of Symbolic Logic, FirstView article, 2026. [preprint, arXiv, doi]
- The Ash–Knight metatheorem via true stages, unpublished notes, 2026. [preprint]
- 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
- Nik Weaver’s conceptualist ideal and predicative actualisations, Formal Philosophy of Mathematics (ForMat) Seminar at the Faculty of Philosophy, University of Warsaw, Oct. 2026. [slides]
- Indexed hierarchies and internal structure in the ordinal class in intuitionistic set theories, contributed talk at Logic Colloquium 2026, June 2026. [abstract, slides]
- Forcing a large intuitionistic \(L\), Logic seminar at the University of Leeds, Apr. 2026. [abstract]
- 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]
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]
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.
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 - 知乎.