We prove the following result which is due to the third author. Let [Formula: see text]. If [Formula: see text] determinacy and [Formula: see text] determinacy both hold true and there is no [Formula: see text]-definable [Formula: see text]-sequence of pairwise distinct reals, then [Formula: see text] exists and is [Formula: see text]-iterable. The proof yields that [Formula: see text] determinacy implies that [Formula: see text] exists and is [Formula: see text]-iterable for all reals [Formula: see text]. A consequence is the Determinacy Transfer Theorem for arbitrary [Formula: see text], namely the statement that [Formula: see text] determinacy implies [Formula: see text] determinacy.

中文翻译：

---

来自最优确定性假设的具有有限多个 Woodin 基数的小鼠

我们证明以下结果是由于第三作者。让[公式：见正文]。如果[公式：见文本]确定性和[公式：见文本]确定性都成立并且没有[公式：见文本]-可定义[公式：见文本]-成对不同实数的序列，则[公式：见文本] 存在并且是 [公式：见文本]-可迭代的。证明产生[公式：参见文本]确定性意味着[公式：参见文本]存在并且是[公式：参见文本]-可迭代所有实数[公式：参见文本]。一个结果是任意[公式：参见文本]的确定性转移定理，即[公式：参见文本]确定性意味着[公式：参见文本]确定性的陈述。