Some properties of the factors of Fermat numbers. - Lorenzo Sauras Altuzarra (Art Discret. Appl. Math., 2022)

Some applications of Baaz's generalization method to the study of the factors of Fermat numbers. - Lorenzo Sauras Altuzarra (J. Log. Comput., 2024)

Computational considerations on the representation of number-theoretic functions by arithmetic terms. - Mihai Prunescu; Lorenzo Sauras Altuzarra (J. Log. Comput., 2025)

A Minimal Substitution Basis for the Kalmar Elementary Functions. - Mihai Prunescu; Lorenzo Sauras Altuzarra; Joseph M. Shunia (CoRR, 2025)