Logic Seminar talk: On recurrent sequences of integers

On May 16, 2024 at 14:00 EEST, Mihai Prunescu (University of Bucharest and IMAR) will give a talk in the Logic Seminar.

Title: On recurrent sequences of integers

Abstract:

There is a method to ultimately express recurrent sequences of integers by arithmetic terms. This is joint work with Lorenzo Sauras-Altuzarra.

References:

[1] M. Prunescu, L. Sauras-Altuzarra, On the representation of C-recursive integer sequences by arithmetic terms. arXiv:2405.04083 [math.LO], 2024.

The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.