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
- An ordinal analysis of CM and its extensions, available at arXiv:2501.12631 [math.LO], 2025. [preprint, arXiv]
- Separating two notions of finiteness, unpublished, 2023. [preprint]
Talks
- 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]
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]
- The Natural Linearity of the Large Cardinal Hierarchy and Anti-pluralism, Undergraduate Course 199 for Finals: Thesis at the Faculty of Philosophy, Oxford, 2022. Supervised by Mr Hans Robin Solberg.
- 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.
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.
Online presence
I write maths-related posts in Chinese on the Q&A site “知乎” (Zhihu): beanandbean - 知乎.