Computable aspects of the Bachmann–Howard principle
Anton Freund
On function field Mordell–Lang and Manin–Mumford
Franck Benoist, Elisabeth Bouscaren, and Anand Pillay
Simultaneously vanishing higher derived limits without large cardinals
Jeffrey Bergfalk, Michael Hrušák, and Chris Lambie-Hanson
The Ramsey theory of Henson graphs
Natasha Dobrinen
Complexity of distances: Theory of generalized analytic equivalence relations
Marek Cúth, Michal Doucha, and Ondřej Kurka
The equivalence of Axiom (*)+ and Axiom (*)++
W. Hugh Woodin