- Eitetsu Ken. 0. Arch. Math. Log., 64(1):117-158, February 2025.
- Marina Dorzhieva, Rodney G. Downey, Ellen Hammatt, Alexander G. Melnikov, Keng Meng Ng. Punctually presented structures II: comparing presentations. Arch. Math. Log., 64(1):159-184, February 2025.
- Mikhail G. Peretyat'kin. The Tarski-Lindenbaum algebra of the class of strongly constructivizable models with ømega-stable theories. Arch. Math. Log., 64(1):67-78, February 2025.
- Stewart Shapiro, Charles McCarty, Michael Rathjen. Intuitionistic sets and numbers: small set theory and Heyting arithmetic. Arch. Math. Log., 64(1):79-105, February 2025.
- Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari. The provably total functions of basic arithmetic and its extensions. Arch. Math. Log., 64(1):205-257, February 2025.
- Geraldo Soto-Rosa, Victor Ocasio González. A characterization of strongly computable finite factorization domains. Arch. Math. Log., 64(1):333-349, February 2025.
- Marco Barone, Nicolás Caro-Montoya, Eudes Naziazeno. Undecidability of indecomposable polynomial rings. Arch. Math. Log., 64(1):185-203, February 2025.
- Jelle Mathis Kuiper, Otmar Spinas. Different covering numbers of compact tree ideals. Arch. Math. Log., 64(1):259-278, February 2025.
- Nikolay Bazhenov 0001, Dariusz Kalocinski, Michal Wroclawski. Degrees of relations on canonically ordered natural numbers and integers. Arch. Math. Log., 64(1):299-331, February 2025.
- Wim Veldman. The Fan Theorem, its strong negation, and the determinacy of games. Arch. Math. Log., 64(1):1-66, February 2025.