Incomparability in local structures of s-degrees and Q-degrees Irakli ChitaiaKeng Meng NgYue Yang OriginalPaper 23 January 2020 Pages: 777 - 791
On the independence of premiss axiom and rule Hajime IshiharaTakako Nemoto OriginalPaper 07 February 2020 Pages: 793 - 815
End extensions of models of fragments of PA C. DimitracopoulosV. Paschalis OriginalPaper 11 February 2020 Pages: 817 - 833
Classifying equivalence relations in the Ershov hierarchy Nikolay BazhenovManat MustafaMars Yamaleev OriginalPaper Open access 13 February 2020 Pages: 835 - 864
A version of \(\kappa \)-Miller forcing Heike MildenbergerSaharon Shelah OriginalPaper Open access 20 February 2020 Pages: 879 - 892
Chang’s Conjecture with \(\square _{\omega _1, 2}\) from an \(\omega _1\)-Erdős cardinal Itay NeemanJohn Susice OriginalPaper 21 February 2020 Pages: 893 - 904
Classifying material implications over minimal logic Hannes DienerMaarten McKubre-Jordens OriginalPaper 07 March 2020 Pages: 905 - 924
Kurepa trees and spectra of \({\mathcal {L}}_{\omega _1,\omega }\)-sentences Dima SinapovaIoannis Souldatos OriginalPaper 29 March 2020 Pages: 939 - 956
Ideal generalizations of Egoroff’s theorem Miroslav Repický OriginalPaper 30 March 2020 Pages: 957 - 977
Local reflection, definable elements and 1-provability Evgeny Kolmakov OriginalPaper 30 March 2020 Pages: 979 - 996
Fields with automorphism and valuation Özlem BeyarslanDaniel Max HoffmannDavid Pierce OriginalPaper 31 March 2020 Pages: 997 - 1008
Special ultrafilters and cofinal subsets of \(({}^\omega \omega , <^*)\) Peter Nyikos OriginalPaper 05 April 2020 Pages: 1009 - 1026
Easton collapses and a strongly saturated filter Masahiro Shioya OriginalPaper 17 May 2020 Pages: 1027 - 1036