Epsilon substitution for \(\textit{ID}_1\) via cut-elimination Henry Towsner OriginalPaper 19 September 2017 Pages: 497 - 531
Relative exchangeability with equivalence relations Harry CraneHenry Towsner OriginalPaper 30 September 2017 Pages: 533 - 556
Iterated ultrapowers for the masses Ali EnayatMatt KaufmannZachiri McKenzie OriginalPaper Open access 05 October 2017 Pages: 557 - 576
Bounding quantification in parametric expansions of Presburger arithmetic John Goodrick OriginalPaper 13 October 2017 Pages: 577 - 591
A weird relation between two cardinals Lorenz Halbeisen OriginalPaper 20 October 2017 Pages: 593 - 599
Shadows of the axiom of choice in the universe \(L(\mathbb {R})\) Jan MycielskiGrzegorz Tomkowicz OriginalPaper 29 October 2017 Pages: 607 - 616
Borel globalizations of partial actions of Polish groups H. PinedoC. Uzcategui OriginalPaper 02 November 2017 Pages: 617 - 627
Ax–Schanuel for linear differential equations Vahagn Aslanyan OriginalPaper 14 November 2017 Pages: 629 - 648
Derivatives of normal functions and \(\omega \)-models Toshiyasu Arai OriginalPaper 15 November 2017 Pages: 649 - 664
On the minimal cover property and certain notions of finite Eleftherios Tachtsis OriginalPaper 17 November 2017 Pages: 665 - 686
Good frames in the Hart–Shelah example Will BoneySebastien Vasey OriginalPaper 21 November 2017 Pages: 687 - 712
On a class of maximality principles Daisuke IkegamiNam Trang OriginalPaper 27 November 2017 Pages: 713 - 725