The axiom of real Blackwell determinacy Daisuke IkegamiDavid de KloetBenedikt Löwe OriginalPaper Open access 21 June 2012 Pages: 671 - 685
Reclassifying the antithesis of Specker’s theorem Hannes Diener OriginalPaper 12 June 2012 Pages: 687 - 693
Glivenko theorems and negative translations in substructural predicate logics Hadi FarahaniHiroakira Ono OriginalPaper 05 July 2012 Pages: 695 - 707
Some consequences of Rado’s selection lemma Marianne Morillon OriginalPaper 24 July 2012 Pages: 739 - 749
A variant of Mathias forcing that preserves \({\mathsf{ACA}_0}\) François G. Dorais OriginalPaper 31 July 2012 Pages: 751 - 780
Lifschitz realizability for intuitionistic Zermelo–Fraenkel set theory Ray-Ming ChenMichael Rathjen OriginalPaper 14 August 2012 Pages: 789 - 818
On some questions concerning strong compactness Arthur W. Apter OriginalPaper 11 August 2012 Pages: 819 - 829
Algebraizable logics with a strong conjunction and their semi-lattice based companions Ramon Jansana OriginalPaper 24 August 2012 Pages: 831 - 861
A model with a measurable which does not carry a normal measure Eilon BilinskyMoti Gitik OriginalPaper 28 August 2012 Pages: 863 - 876