On decidability of amenability in computable groups Karol DudaAleksander Ivanov OriginalPaper 03 March 2022 Pages: 891 - 902
Disjunctive logic programs, answer sets, and the cut rule Éric Martin OriginalPaper Open access 04 March 2022 Pages: 903 - 937
Weak essentially undecidable theories of concatenation Juvenal Murwanashyaka OriginalPaper Open access 07 March 2022 Pages: 939 - 976
Dividing lines in unstable theories and subclasses of Baire 1 functions Karim Khanaki OriginalPaper 09 March 2022 Pages: 977 - 993
Enhancing induction in a contraction free logic with unrestricted abstraction: from \(\mathbf {Z}\) to \(\mathbf {Z}_2\) Uwe Petersen OriginalPaper 14 March 2022 Pages: 1007 - 1051
Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces Natasha DobrinenSonia Navarro Flores OriginalPaper 15 March 2022 Pages: 1053 - 1090
Destructibility and axiomatizability of Kaufmann models Corey Bacal Switzer OriginalPaper Open access 26 March 2022 Pages: 1091 - 1111
\(\Delta ^0_1\) variants of the law of excluded middle and related principles Makoto Fujiwara OriginalPaper 29 April 2022 Pages: 1113 - 1127
Implicit recursion-theoretic characterizations of counting classes Ugo Dal LagoReinhard KahleIsabel Oitavem OriginalPaper 03 May 2022 Pages: 1129 - 1144
The existence of states based on Glivenko semihoops Pengfei HeJuntao WangJiang Yang OriginalPaper 18 May 2022 Pages: 1145 - 1170