- Max Illmer, Tim Netzer. Constructive quantifier elimination with a focus on matrix rings. Annals of Pure and Applied Logic, 177(5):103706, 2026.
- Vera Koponen. Random expansions of finite structures with bounded degree. Annals of Pure and Applied Logic, 177(3):103665, 2026.
- Alan Dow, Raúl Figueroa-Sierra, Osvaldo Guzmán, Michael Hrusák. The category dichotomy for ideals. Annals of Pure and Applied Logic, 177(5):103717, 2026.
- Marie Duzí, Bjørn Jespersen. Twin procedures, two kinds of variable binding, and two kinds of computation. Annals of Pure and Applied Logic, 177(5):103693, 2026.
- Adam Prenosil. Compatibility between modal operators in distributive modal logic. Annals of Pure and Applied Logic, 177(3):103677, 2026.
- William R. Stirton. Proof-theoretic investigation of λβ-reduction in the simply typed λ-calculus. Annals of Pure and Applied Logic, 177(1):103657, 2026.
- Lorenzo Notaro. Constructibility real degrees in the side-by-side Sacks model. Annals of Pure and Applied Logic, 177(5):103722, 2026.
- Yifan Hu, Ruihuan Mao, Guozhen Shen. Amorphous sets and dual Dedekind finiteness. Annals of Pure and Applied Logic, 177(6):103723, 2026.
- Ang Li. Countable ordered groups and Weihrauch reducibility. Annals of Pure and Applied Logic, 177(1):103644, 2026.
- Ikuo Yoneda. Some remarks on weak one-basedness. Annals of Pure and Applied Logic, 177(3):103674, 2026.