Proof-theoretic strengths of the well-ordering principles Toshiyasu Arai OriginalPaper 30 July 2019 Pages: 257 - 275
Ordinal analyses for monotone and cofinal transfinite inductions Kentaro Sato OriginalPaper 14 August 2019 Pages: 277 - 291
Detecting properties from descriptions of groups Iva BilanovicJennifer ChubbSam Roven OriginalPaper 17 August 2019 Pages: 293 - 312
On the forking topology of a reduct of a simple theory Ziv Shami OriginalPaper 29 August 2019 Pages: 313 - 324
A small ultrafilter number at smaller cardinals Dilip RaghavanSaharon Shelah OriginalPaper 10 September 2019 Pages: 325 - 334
Weaker variants of infinite time Turing machines Matteo Bianchetti OriginalPaper 13 September 2019 Pages: 335 - 365
Antichains of perfect and splitting trees Paul HeinOtmar Spinas OriginalPaper 20 September 2019 Pages: 367 - 388
Absorbing the structural rules in the sequent calculus with additional atomic rules Franco ParlamentoFlavio Previale OriginalPaper 24 October 2019 Pages: 389 - 408
Square below a non-weakly compact cardinal Hazel Brickhill OriginalPaper 25 October 2019 Pages: 409 - 426
Analytic computable structure theory and \(L^p\)-spaces part 2 Tyler BrownTimothy H. McNicholl OriginalPaper 31 October 2019 Pages: 427 - 443
Covering properties of \(\omega \)-mad families Leandro AurichiLyubomyr Zdomskyy OriginalPaper 08 November 2019 Pages: 445 - 452
Scott sentences for equivalence structures Sara B. Quinn OriginalPaper 08 November 2019 Pages: 453 - 460
Dependent choice as a termination principle Thomas Powell OriginalPaper 16 January 2020 Pages: 503 - 516