PublicationsPapers

Effective MC-finiteness

Yuval Filmus, Eldar Fischer, Johann A. Makowsky

An integer sequence $(a_n)_{n \in \mathbb{N}}$ is MC-finite if for all $m$, the sequence $a_n \bmod m$ is eventually periodic. There are MC-finite sequences such that $a_n \bmod m$ is not computable (as a function of both $n,m$). We discuss some cases in which this function is computable.

See also our previous paper on the topic.

BibTeX

@inproceedings{FFM25,
title = {Effective {MC}-finiteness},
author = {Yuval Filmus and Eldar Fischer and Johann A. Makowski},
booktitle = {Summit280},
year = {2025}}
copy to clipboard