分离拓扑递归与可测递归：Kriz例子的阐述与推广
Separating topological recurrence from measurable recurrence: exposition and extension of Kriz's example
AI总结：
本文推广了Kriz的例子，证明了对于任意无限集$E\subset \mathbb Z$，均存在集合$S\subset E-E$，使其成为拓扑递归集而非可测递归集。
摘要：
我们证明，对于每个无限集 $E\subset \mathbb Z$，存在一个集合 $S\subset E-E$，它是拓扑递归集，但不是可测递归集。这推广了Igor Kriz的结果，即存在一个拓扑递归集但非可测递归集。我们的构造紧随Kriz的方法，本文可视为对原论证的阐述。
英文摘要：
We prove that for every infinite set $E\subset \mathbb Z$, there is a set $S\subset E-E$ which is a set of topological recurrence and not a set of measurable recurrence. This extends a result of Igor Kriz, proving that there is a set of topological recurrence which is not a set of measurable recurrence. Our construction follows Kriz's closely, and this paper can be considered an exposition of the original argument.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
