Perfect independent sets with respect to infinitely many relations Martin DoležalWiesław Kubiś OriginalPaper Open access 25 July 2016 Pages: 847 - 856
Mathias forcing and ultrafilters Janusz PawlikowskiWojciech Stadnicki OriginalPaper Open access 12 August 2016 Pages: 857 - 865
Topological equivalences of \(\mathbf {CUT}\) and \(\mathbf {CUT(Fin)}\) Samuel G. da Silva OriginalPaper 27 August 2016 Pages: 867 - 872
Convexity and constructive infima Josef BergerGregor Svindland OriginalPaper 31 August 2016 Pages: 873 - 881
Katětov and Katětov-Blass orders on \(F_\sigma \)-ideals Hiroaki MinamiHiroshi Sakai OriginalPaper 01 September 2016 Pages: 883 - 898
Fragments of Kripke–Platek set theory and the metamathematics of \(\alpha \)-recursion theory Sy-David FriedmanWei LiTin Lok Wong OriginalPaper Open access 06 September 2016 Pages: 899 - 924
Subgroups of \(SF(\omega )\) and the relation of almost containedness Barbara Majcher-Iwanow OriginalPaper Open access 06 September 2016 Pages: 925 - 937
The classification of \({\mathbb {Z}}_p\)-modules with partial decomposition bases in \(L_{\infty \omega }\) Carol JacobyPeter Loth OriginalPaper 12 September 2016 Pages: 939 - 954
Structural completeness in propositional logics of dependence Rosalie IemhoffFan Yang OriginalPaper 15 September 2016 Pages: 955 - 975
Homogenizable structures and model completeness Ove Ahlman OriginalPaper Open access 21 September 2016 Pages: 977 - 995
Reverse mathematics and marriage problems with finitely many solutions Jeffry L. HirstNoah A. Hughes OriginalPaper 24 September 2016 Pages: 1015 - 1024