On the separation of regularity properties of the reals Giorgio Laguzzi OriginalPaper 03 June 2014 Pages: 731 - 747
Admissibility and refutation: some characterisations of intermediate logics Jeroen P. Goudsmit OriginalPaper 28 August 2014 Pages: 779 - 808
On idealized versions of Pr1(μ +, μ +, μ +, cf(μ)) Todd Eisworth OriginalPaper 10 July 2014 Pages: 809 - 824
On a variant of Rado’s selection lemma and its equivalence with the Boolean prime ideal theorem Paul HowardEleftherios Tachtsis OriginalPaper 15 July 2014 Pages: 825 - 833
Weak theories of concatenation and minimal essentially undecidable theories Kojiro HiguchiYoshihiro Horihata OriginalPaper 19 July 2014 Pages: 835 - 853
From hierarchies to well-foundedness Dandolo FluminiKentaro Sato OriginalPaper 12 August 2014 Pages: 855 - 863
Natural factors of the Medvedev lattice capturing IPC Rutger Kuyper OriginalPaper 29 July 2014 Pages: 865 - 879
The de Jongh property for Basic Arithmetic Mohammad ArdeshirS. Mojtaba Mojtahedi OriginalPaper 08 August 2014 Pages: 881 - 895
Linear model theory for Lipschitz structures Seyed-Mohammad Bagheri OriginalPaper 26 August 2014 Pages: 897 - 927
Simple types in discretely ordered structures Dejan Ilić OriginalPaper 02 September 2014 Pages: 929 - 947
On the complexity of the closed fragment of Japaridze’s provability logic Fedor Pakhomov OriginalPaper 03 September 2014 Pages: 949 - 967