Models of weak theories of truth Mateusz ŁełykBartosz Wcisło OriginalPaper Open access 22 April 2017 Pages: 453 - 474
A logic for arguing about probabilities in measure teams Tapani HyttinenGianluca PaoliniJouko Väänänen OriginalPaper 13 April 2017 Pages: 475 - 489
The reverse mathematics of non-decreasing subsequences Ludovic Patey OriginalPaper 21 April 2017 Pages: 491 - 506
Bounded low and high sets Bernard A. AndersonBarbara F. CsimaKaren M. Lange OriginalPaper 28 April 2017 Pages: 507 - 521
A herbrandized functional interpretation of classical first-order logic Fernando FerreiraGilda Ferreira OriginalPaper 19 May 2017 Pages: 523 - 539
Interpretability suprema in Peano Arithmetic Paula HenkAlbert Visser OriginalPaper Open access 26 May 2017 Pages: 555 - 584
A predicate extension of real valued logic Stefano Baratella OriginalPaper 25 May 2017 Pages: 585 - 605
Ordinal notation systems corresponding to Friedman’s linearized well-partial-orders with gap-condition Michael RathjenJeroen Van der MeerenAndreas Weiermann OriginalPaper 02 June 2017 Pages: 607 - 638
Saturation and solvability in abstract elementary classes with amalgamation Sebastien Vasey OriginalPaper 27 May 2017 Pages: 671 - 690
A null ideal for inaccessibles Sy-David FriedmanGiorgio Laguzzi OriginalPaper 19 June 2017 Pages: 691 - 697
The strength of countable saturation Benno van den BergEyvind BriseidPavol Safarik OriginalPaper Open access 21 June 2017 Pages: 699 - 711