Hello! I’m Shuwei Wang (王书玮),
a PhD student at the Logic Group, University of Leeds.

KzQ0IDA3NTQ5IDE3NDA1NA== bW1zd0BsZWVkcy5hYy51aw== 0000-0001-7470-8018

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

Recent developments on predicative foundations, j.w.w. Michael Rathjen. In: Pillars of Enduring Strength: Learning from Hermann Weyl, edited by Laura Crosilla, Øystein Linnebo, and Michael Rathjen, upcoming.
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

Analysing Gödel’s \(L\) in realisability models of \(\mathrm{CZF}\), special session talk at Computability in Europe 2025, July 2025 (upcoming). [abstract]
The global well-ordering on Weaver’s third-order conceptual mathematics, contributed talk at Proof Society 2024: 6^th 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]
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.
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: 6^th International School and Workshop on Proof Theory, Sept. 2024.
Gibbs Prize in Mathematics for 4 consecutive years, University of Oxford, 2019–22.
(Team) 13^th 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 - 知乎.

Hello! I’m Shuwei Wang (王书玮), a PhD student at the Logic Group, University of Leeds.