- Raphaël Carroy, Luca Motto Ros, Salvatore Scamperti. A Classification of the Wadge Hierarchies on Zero-dimensional Polish Spaces. Journal of Symbolic Logic, 90(2):887-917, 2025.
- Marco Abbadini, Ivan di Liberti. Duality for Coalgebras for Vietoris and Monadicity. Journal of Symbolic Logic, 90(3):1022-1055, 2025.
- Nick Steven Chapman, Johannes Philipp Schürz. STRONG MEASURE ZERO SETS ON $2^\kappa $ FOR $\kappa $ INACCESSIBLE. Journal of Symbolic Logic, 90(3):1277-1307, 2025.
- Vittorio Cipriani, Alberto Marcone, Manlio Valenti. THE WEIHRAUCH LATTICE AT THE LEVEL OF $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$ : THE CANTOR-BENDIXSON THEOREM. Journal of Symbolic Logic, 90(2):752-790, 2025.
- Mauro Di Nasso, Lorenzo Luperi Baglini, Rosario Mennuni, Moreno Pierobon, Mariaclara Ragosta. SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN $\beta {\mathbb {Z}}$. Journal of Symbolic Logic, 90(3):1180-1197, 2025.
- Giulio Fellin, Sara Negri. A Terminating intuitionistic Calculus. Journal of Symbolic Logic, 90(1):278-297, 2025.
- Arnold Beckmann, Yoriyuki Yamagata. On Proving Consistency of Equational Theories in Bounded Arithmetic. Journal of Symbolic Logic, 90(1):135-165, 2025.
- Jan Krajícek. A Proof Complexity Conjecture and the Incompleteness Theorem. Journal of Symbolic Logic, 90(3):1206-1210, 2025.
- James H. Schmerl. The pentagon as a Substructure Lattice of Models of Peano Arithmetic. Journal of Symbolic Logic, 90(3):1078-1097, 2025.
- Alfred Dolich, John Goodrick. Discrete Sets Definable in Strong expansions of Ordered Abelian Groups. Journal of Symbolic Logic, 90(1):423-459, 2025.