Projects per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
David Aspero
- School of Engineering, Mathematics and Physics - Associate Professor in Pure Mathematics
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research Group Member, Academic, Teaching & Research
-
Rose Berry
- Faculty of Science - Associate Tutor
- School of Engineering, Mathematics and Physics
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research Group Member, Degree of Doctor of Philosophy, Associate Tutor
-
Christopher Birkbeck
- School of Engineering, Mathematics and Physics - Lecturer in Pure Mathematics
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research Group Member, Academic, Teaching & Research
-
2-representation Theory of SoergelBimodules
Engineering and Physical Sciences Research Council
1/05/25 → 31/10/28
Project: Research
-
Model Theory in the UK (MoTUK)
Isaac Newton Institute for Mathematical Sciences
1/01/25 → 31/12/26
Project: Research
-
Model Theory of Differential Fields - winter meeting
London Mathematical Society (The)
1/12/24 → 31/07/25
Project: Research
-
A characterisation of semigroups with only countably many subdirect products with Z
Clayton, A., Reilly, C. & Ruškuc, N., Apr 2025, In: Bulletin of the Australian Mathematical Society. 111, 2, p. 314-323 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile17 Downloads (Pure) -
A complete formalization of Fermat's Last Theorem for regular primes in Lean
Best, A., Birkbeck, C., Brasca, R., Rodriguez Boidi, E., van de Velde, R. & Yang, A., 2 Jun 2025, (Accepted/In press) In: Annals of Formalized Mathematics.Research output: Contribution to journal › Article › peer-review
-
Algebraic types in Zilber's exponential field
Aslanyan, V. & Kirby, J., Jan 2025, In: Model Theory. 4, 1, p. 37-58 22 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile11 Downloads (Pure)
Activities
-
John Dewey's Experience & Nature
Davide Rizza (Speaker)
16 Oct 2025 → 18 Oct 2025Activity: Participating in or organising an event › Participation in conference
-
5th European Pragmatism Conference
Davide Rizza (Speaker)
20 Aug 2025 → 22 Aug 2025Activity: Participating in or organising an event › Participation in conference
-
Measurement Theory in the Context of Scientific Enquiry
Davide Rizza (Speaker)
22 Jul 2025Activity: Participating in or organising an event › Participation in conference