Sauras Altuzarra, L. (2022). Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers. Journal of Logic and Computation, 1199–1209. https://doi.org/10.1093/logcom/exac056
This paper revisits a method of generalization of proofs of universal sentences that was introduced by Baaz and provides several applications to the study of the factors of Fermat numbers; remarkably an improvement of his sufficient condition for a given value to be one of such factors.
