- 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.
- 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.
- 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.
- Alfred Dolich, John Goodrick. Discrete Sets Definable in Strong expansions of Ordered Abelian Groups. Journal of Symbolic Logic, 90(1):423-459, 2025.
- Jialiang He, Zuoheng Li, Shuguo Zhang. Structure of summable Tall ideals under KATětov order. Journal of Symbolic Logic, 90(2):725-751, 2025.
- Chris Schulz. Undefinability of Multiplication in Presburger Arithmetic with Sets of powers. Journal of Symbolic Logic, 90(2):872-886, 2025.
- Haim Horowitz, Saharon Shelah. A Borel Maximal cofinitary Group. Journal of Symbolic Logic, 90(2):808-821, 2025.
- Nikolay Bazhenov 0001, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev. A Lopez-Escobar Theorem for continuous Domains. Journal of Symbolic Logic, 90(2):854-871, 2025.
- Longyun Ding, Yang Zheng. On Equivalence Relations induced by Locally Compact Abelian Polish Groups. Journal of Symbolic Logic, 90(1):221-236, 2025.