Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity Petr CintulaCarles Noguera OriginalPaper 26 October 2015 Pages: 353 - 372
Restrictions on forcings that change cofinalities Yair HayutAsaf Karagila OriginalPaper 11 November 2015 Pages: 373 - 384
The bi-embeddability relation for finitely generated groups II Simon ThomasJay Williams OriginalPaper 07 November 2015 Pages: 385 - 396
Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent \({p > 2}\) Andreas Baudisch OriginalPaper 30 November 2015 Pages: 397 - 403
A note on the enumeration degrees of 1-generic sets Liliana BadilloCaterina BianchiniAndrea Sorbi OriginalPaper 12 December 2015 Pages: 405 - 414
No decreasing sequence of cardinals Paul HowardEleftherios Tachtsis OriginalPaper 28 December 2015 Pages: 415 - 429
Reverse mathematics, well-quasi-orders, and Noetherian spaces Emanuele FrittaionMatthew HendtlassJeroen Van der Meeren OriginalPaper 02 January 2016 Pages: 431 - 459
Glivenko sequent classes in the light of structural proof theory Sara Negri OriginalPaper 09 February 2016 Pages: 461 - 473
Ramsey algebras and the existence of idempotent ultrafilters Wen Chean Teh OriginalPaper 29 January 2016 Pages: 475 - 491
Mathias–Prikry and Laver type forcing; summable ideals, coideals, and +-selective filters David ChodounskýOsvaldo Guzmán GonzálezMichael Hrušák OriginalPaper 26 February 2016 Pages: 493 - 504
Reduction of database independence to dividing in atomless Boolean algebras Tapani HyttinenGianluca Paolini OriginalPaper 04 March 2016 Pages: 505 - 518
A remark on strict independence relations Gabriel Conant OriginalPaper 14 March 2016 Pages: 535 - 544
The joint embedding property and maximal models John T. BaldwinMartin KoerwienIoannis Souldatos OriginalPaper 28 March 2016 Pages: 545 - 565
An extension of the omega-rule Ryota AkiyoshiGrigori Mints OriginalPaper 31 March 2016 Pages: 593 - 603