1. Models of weak theories of truth

   • Mateusz Łełyk
   • Bartosz Wcisło

   OriginalPaper Open access 22 April 2017 Pages: 453 - 474

2. A logic for arguing about probabilities in measure teams

   • Tapani Hyttinen
   • Gianluca Paolini
   • Jouko Väänänen

   OriginalPaper 13 April 2017 Pages: 475 - 489

3. The reverse mathematics of non-decreasing subsequences

   • Ludovic Patey

   OriginalPaper 21 April 2017 Pages: 491 - 506

4. Bounded low and high sets

   • Bernard A. Anderson
   • Barbara F. Csima
   • Karen M. Lange

   OriginalPaper 28 April 2017 Pages: 507 - 521

5. A herbrandized functional interpretation of classical first-order logic

   • Fernando Ferreira
   • Gilda Ferreira

   OriginalPaper 19 May 2017 Pages: 523 - 539

6. Minimal elementary end extensions

   • James H. Schmerl

   OriginalPaper 15 May 2017 Pages: 541 - 553

7. Interpretability suprema in Peano Arithmetic

   • Paula Henk
   • Albert Visser

   OriginalPaper Open access 26 May 2017 Pages: 555 - 584

8. A predicate extension of real valued logic

   • Stefano Baratella

   OriginalPaper 25 May 2017 Pages: 585 - 605

9. Ordinal notation systems corresponding to Friedman’s linearized well-partial-orders with gap-condition

   • Michael Rathjen
   • Jeroen Van der Meeren
   • Andreas Weiermann

   OriginalPaper 02 June 2017 Pages: 607 - 638

10. Uniform proofs of ACC representations

    • Sam Buss

    OriginalPaper 26 May 2017 Pages: 639 - 669

11. Saturation and solvability in abstract elementary classes with amalgamation

    • Sebastien Vasey

    OriginalPaper 27 May 2017 Pages: 671 - 690

12. A null ideal for inaccessibles

    • Sy-David Friedman
    • Giorgio Laguzzi

    OriginalPaper 19 June 2017 Pages: 691 - 697

13. The strength of countable saturation

    • Benno van den Berg
    • Eyvind Briseid
    • Pavol Safarik

    OriginalPaper Open access 21 June 2017 Pages: 699 - 711