Comparing the degrees of enumerability and the closed Medvedev degrees Paul ShaferAndrea Sorbi OriginalPaper Open access 28 September 2018 Pages: 527 - 542
Degrees of bi-embeddable categoricity of equivalence structures Nikolay BazhenovEkaterina FokinaLuca San Mauro OriginalPaper Open access 01 November 2018 Pages: 543 - 563
On the classification of vertex-transitive structures John ClemensSamuel CoskeyStephanie Potter OriginalPaper 08 November 2018 Pages: 565 - 574
Reverse mathematics and colorings of hypergraphs Caleb DavisJeffry HirstTim Ransom OriginalPaper 29 November 2018 Pages: 575 - 585
Cut elimination for entailment relations Davide RinaldiDaniel Wessel OriginalPaper 04 December 2018 Pages: 605 - 625
A Kuroda-style j-translation Benno van den Berg OriginalPaper Open access 13 December 2018 Pages: 627 - 634
Determinacy separations for class games Sherwood Hachtman OriginalPaper 02 January 2019 Pages: 635 - 648
Non-homogeneity of quotients of Prikry forcings Moti GitikEyal Kaplan OriginalPaper 24 January 2019 Pages: 649 - 710
A flexible type system for the small Veblen ordinal Florian RanziThomas Strahm OriginalPaper 29 January 2019 Pages: 711 - 751
Truth, disjunction, and induction Ali EnayatFedor Pakhomov OriginalPaper Open access 04 February 2019 Pages: 753 - 766
Ideals of independence Vera FischerDiana Carolina Montoya OriginalPaper Open access 15 March 2019 Pages: 767 - 785