极大最终不同族的Compactness
Compactness of maximal eventually different families
摘要：
证明了在$\prod_n F(n)$（$F\colon \mathbb{N} \to \mathbb{N}\cup\{\mathbb{N}\}$）形式的空间中存在一个有效闭的极大最终差分函数族，并给出了当存在一个有效紧的极大最终差分函数族时的一个精确判据.
英文摘要：
We show that there is an effectively closed maximal eventually different family of functions in spaces of the form $\prod_n F(n)$ for $F\colon \mathbb{N} \to \mathbb{N}\cup\{\mathbb{N}\}$ and give an exact criterion for when there exists an effectively compact such family.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
