The large cardinals between supercompact and almost-huge Norman Lewis Perlmutter OriginalPaper 11 February 2015 Pages: 257 - 289
Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length Pierre Matet OriginalPaper 18 November 2014 Pages: 291 - 328
Unified characterizations of lowness properties via Kolmogorov complexity Takayuki KiharaKenshi Miyabe OriginalPaper 05 December 2014 Pages: 329 - 358
Open induction in a bounded arithmetic for TC0 Emil Jeřábek OriginalPaper 11 December 2014 Pages: 359 - 394
Two-cardinal diamond and games of uncountable length Pierre Matet OriginalPaper 14 December 2014 Pages: 395 - 412
A new proof of Ajtai’s completeness theorem for nonstandard finite structures Michal Garlík OriginalPaper 31 December 2014 Pages: 413 - 424
The modal logic of Reverse Mathematics Carl MummertAlaeddine SaadaouiSean Sovine OriginalPaper 30 January 2015 Pages: 425 - 437
Square principles with tail-end agreement William ChenItay Neeman OriginalPaper 01 February 2015 Pages: 439 - 452
A universal indestructibility theorem compatible with level by level equivalence Arthur W. Apter OriginalPaper 05 February 2015 Pages: 463 - 470
Predicatively computable functions on sets Toshiyasu Arai OriginalPaper 14 February 2015 Pages: 471 - 485
Erratum to: Limit computable integer parts Paola D’AquinoJulia KnightKaren Lange Erratum 28 February 2015 Pages: 487 - 489