| 2022 |
Rory Ainslie |
HD Macpherson, VL Mantova |
Definable Sets in Finite Structures |
| Francesco Paolo Gallinaro |
VL Mantova, HD Macpherson |
Around exponential-algebraic closedness |
| 2021 |
Bjarki Benediktsson |
HD Macpherson, I Adler |
Model-theoretic methods for algorithmically tame graph classes |
| Gabriele Lobbia |
N Gambino |
Pseudomonads, Relative Monads and Strongly Finitary Notions of Multicategory |
| Richard Matthews |
AD Brooke-Taylor, M Rathjen |
Large Cardinals in Weakened Axiomatic Theories |
| Giovanni Soldà |
P Shafer, M Rathjen |
Calibrating the complexity of combinatorics: reverse mathematics and Weihrauch degrees of some principles related to Ramsey’s theorem |
| 2020 |
Milette Gillow |
JK Truss |
Results on the Generalised Shift Graph |
| Rosario Mennuni |
HD Macpherson, VL Mantova |
Invariant types in model theory |
| 2019 |
Asma Ibrahim Almazaydeh |
HD Macpherson |
Infinite Jordan Permutation groups |
| Anja Komatar |
HD Macpherson |
Ramsey classes and partial orders |
| 2018 |
Ingram Bondin |
SB Cooper, HD Macpherson, A Lewis-Pye |
Lachlan Non-Splitting Pairs and High Computably Enumerable Turing Degrees |
| Anton Freund |
M Rathjen |
Type-Two Well-Ordering Principles, Admissible Sets, and $\Pi^1_1$-Comprehension |
| Cesare Gallozzi |
N Gambino, M Rathjen |
Homotopy Type-Theoretic Interpretations of Constructive Set Theories |
| Martin Krombholz |
M Rathjen |
Proof Theory of Graph Minors and Tree Embeddings |
| Marco Larrea |
N Gambino |
Models of Dependent Type Theory from Algebraic Weak Factorisation Systems |
| Jakob Vidmar |
N Gambino |
Polynomial functors and W-types for groupoids |
| 2017 |
E García Ramírez |
I Halupczok, HD Macpherson |
Non-archimedean stratifications in $T$-convex fields |
| James Riley |
JK Truss, SB Cooper, A Lewis-Pye |
Structural properties of the local Turing degrees |
| Daoud Siniora |
HD Macpherson |
Automorphism Groups of Homogeneous Structures |
| Ian Thomson |
M Rathjen |
Well-Ordering Principles and $\Pi_1^1$-Comprehension + Bar Induction |
