On the dimension of the solution space of linear difference equations over the ring of infinite sequences

Sergei Abramov, Gleb Pogudin

For a linear difference equation with the coefficients being computable sequences, we establish algorithmic undecidability of the problem of determining the dimension of the soluti…