- Satoru Kuroda:
Sprague-Grundy theory in bounded arithmetic. Arch. Math. Log. 61(1-2): 233-262 (2022) - Adam Kwela:
On extendability to Fσ ideals. Arch. Math. Log. 61(7-8): 881-890 (2022) - Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem:
Implicit recursion-theoretic characterizations of counting classes. Arch. Math. Log. 61(7-8): 1129-1144 (2022) - Maciej Malicki:
Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups. Arch. Math. Log. 61(5-6): 685-704 (2022) - Eric Martin:
Disjunctive logic programs, answer sets, and the cut rule. Arch. Math. Log. 61(7-8): 903-937 (2022) - Slavko Moconja, Predrag Tanovic:
Does weak quasi-o-minimality behave better than weak o-minimality? Arch. Math. Log. 61(1-2): 81-103 (2022) - Juvenal Murwanashyaka:
Weak essentially undecidable theories of concatenation. Arch. Math. Log. 61(7-8): 939-976 (2022) - Uwe Petersen:
Enhancing induction in a contraction free logic with unrestricted abstraction: from $\mathbf {Z}$ to $\mathbf {Z}_2$. Arch. Math. Log. 61(7-8): 1007-1051 (2022) - Gabriele Pulcini:
A note on cut-elimination for classical propositional logic. Arch. Math. Log. 61(3-4): 555-565 (2022) - Miroslav Repický:
Rosenthal families, filters, and semifilters. Arch. Math. Log. 61(1-2): 131-153 (2022) - Dusan Repovs, Lyubomyr Zdomskyy:
On well-splitting posets. Arch. Math. Log. 61(7-8): 995-1005 (2022) - Kentaro Sato:
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts. Arch. Math. Log. 61(3-4): 399-435 (2022) - Jonathan Schilhan:
Coanalytic ultrafilter bases. Arch. Math. Log. 61(3-4): 567-581 (2022) - Yaroslav Shramko:
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning. Arch. Math. Log. 61(5-6): 627-651 (2022) - Iian B. Smythe:
Equivalence of generics. Arch. Math. Log. 61(5-6): 795-812 (2022) - Boris Sobot:
Multiplicative finite embeddability vs divisibility of ultrafilters. Arch. Math. Log. 61(3-4): 535-553 (2022) - Rachel D. Stahl:
Computability and the game of cops and robbers on graphs. Arch. Math. Log. 61(3-4): 373-397 (2022) - William R. Stirton:
Combinatory logic with polymorphic types. Arch. Math. Log. 61(3-4): 317-343 (2022) - Corey Bacal Switzer:
Destructibility and axiomatizability of Kaufmann models. Arch. Math. Log. 61(7-8): 1091-1111 (2022) - Huishan Wu:
Reverse mathematics and semisimple rings. Arch. Math. Log. 61(5-6): 769-793 (2022)