Partially definable forcing and bounded arithmetic Albert AtseriasMoritz Müller OriginalPaper 29 August 2014 Pages: 1 - 33
Isomorphic and strongly connected components Miloš S. Kurilić OriginalPaper 04 September 2014 Pages: 35 - 48
Reverse mathematics and marriage problems with unique solutions Jeffry L. HirstNoah A. Hughes OriginalPaper 02 September 2014 Pages: 49 - 57
Friedberg numberings in the Ershov hierarchy Serikzhan A. BadaevMustafa ManatAndrea Sorbi OriginalPaper 13 September 2014 Pages: 59 - 73
Full and hat inductive definitions are equivalent in NBG Kentaro Sato OriginalPaper 01 November 2014 Pages: 75 - 112
Arithmetical algorithms for elementary patterns Samuel A. Alexander OriginalPaper 14 October 2014 Pages: 113 - 132
A forcing notion related to Hindman’s theorem Luz María García-Ávila OriginalPaper 15 October 2014 Pages: 133 - 159
Adding a club with finite conditions, Part II John Krueger OriginalPaper 11 October 2014 Pages: 161 - 172
Strong partition cardinals and determinacy in \({K(\mathbb{R})}\) Daniel W. Cunningham OriginalPaper 11 October 2014 Pages: 173 - 192
Well-partial-orderings and the big Veblen number Jeroen Van der MeerenMichael RathjenAndreas Weiermann OriginalPaper 13 November 2014 Pages: 193 - 230
Between Polish and completely Baire Andrea MediniLyubomyr Zdomskyy OriginalPaper 30 October 2014 Pages: 231 - 245
Forking geometry on theories with an independent predicate Juan Felipe Carmona OriginalPaper 04 November 2014 Pages: 247 - 255