- Javier de la Nuez González, Chloé Perin, Rizos Sklinos. Some lower bounds on Shelah rank in the free group. Annals of Pure and Applied Logic, 171(6):102794, 2020.
- Jun Le Goh. Embeddings between well-orderings: Computability-theoretic reductions. Annals of Pure and Applied Logic, 171(6):102789, 2020.
- Gabriel Conant, Kyle Gannon. Remarks on generic stability in independent theories. Annals of Pure and Applied Logic, 171(2), 2020.
- Alejandro Poveda. The tree property at first and double successors of singular cardinals with an arbitrary gap. Annals of Pure and Applied Logic, 171(5):102778, 2020.
- Dmitry Itsykson, Dmitry Sokolov 0001. Resolution over linear equations modulo two. Annals of Pure and Applied Logic, 171(1), 2020.
- Alf Onshuus, Mariana Vicaría. Definable groups in models of Presburger Arithmetic. Annals of Pure and Applied Logic, 171(6):102795, 2020.
- Junhua Yu. Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus. Annals of Pure and Applied Logic, 171(1), 2020.
- Moritz Müller, Ján Pich. Feasibly constructive proofs of succinct weak circuit lower bounds. Annals of Pure and Applied Logic, 171(2), 2020.
- Masato Fujita. Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition. Annals of Pure and Applied Logic, 171(2), 2020.
- Darío García. Ordered asymptotic classes of finite structures. Annals of Pure and Applied Logic, 171(4):102776, 2020.