We fix a gap in a proof in our paper Reducing $\omega$-model reflection to iterated syntactic reflection.

中文翻译：

---

将 ω 模型反射简化为迭代句法反射的勘误表

我们修复了论文中证明中的一个空白 $\omega$-模型反射到迭代句法反射。