- Igor Gorbunov, Dmitry Shkatov. Extensions of Solovay's system S without independent sets of axioms. Annals of Pure and Applied Logic, 175(Issue 1, Part A):103360, January 2024.
- Josiah Jacobsen-Grocott. Strong minimal pairs in the enumeration degrees. Annals of Pure and Applied Logic, 175(10):103464, 2024.
- Matteo De Berardinis, Silvio Ghilardi. Profiniteness, monadicity and universal models in modal logic. Annals of Pure and Applied Logic, 175(7):103454, 2024.
- Gerhard Jäger, Michael Rathjen. Admissible extensions of subtheories of second order arithmetic. Annals of Pure and Applied Logic, 175(7):103425, 2024.
- Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg. The formal verification of the ctm approach to forcing. Annals of Pure and Applied Logic, 175(5):103413, 2024.
- Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini. Positive modal logic beyond distributivity. Annals of Pure and Applied Logic, 175(2):103374, 2024.
- Stevo Todorcevic. Dense metrizability. Annals of Pure and Applied Logic, 175(Issue 1, Part B):103327, January 2024.
- Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski, Milan Mossé. Probing the quantitative-qualitative divide in probabilistic reasoning. Annals of Pure and Applied Logic, 175(9):103339, 2024.
- Dana Bartosová, Mirna Dzamonja, Rehana Patel, Lynn Scow. Big Ramsey degrees in ultraproducts of finite structures. Annals of Pure and Applied Logic, 175(7):103439, 2024.
- Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu, Alexander G. Melnikov. Primitive recursive reverse mathematics. Annals of Pure and Applied Logic, 175(Issue 1, Part A):103354, January 2024.