论文标题
小鼠对的缩合
Condensation for Mouse Pairs
论文作者
论文摘要
在本文中，我们证明了一个精细的冷凝定理。这与文献中纯扩展小鼠的凝结定理非常相似，只是将迭代策略的凝结添加到了混合物中。
In this paper, we prove a fine condensation theorem. This is quite similar to condensation theorems for pure extender mice in the literature, except that condensation for iteration strategies has been added to the mix.
