Martin-Löf identity types in C-systems Vladimir Voevodsky OriginalPaper Open access 31 July 2023 Pages: 1 - 67
Globally \(\pmb{+}\)-regular varieties and the minimal model program for threefolds in mixed characteristic Bhargav BhattLinquan MaJakub Witaszek OriginalPaper Open access 10 May 2023 Pages: 69 - 227
A priori bounds for GIETs, affine shadows and rigidity of foliations in genus two Selim GhazouaniCorinna Ulcigrai OriginalPaper Open access 31 October 2023 Pages: 229 - 366