论文标题
部分可观测时空混沌系统的无模型预测
Iterated Priority Arguments in Descriptive Set Theory
论文作者
论文摘要
我们介绍了真实的舞台机械，并将其应用于描述性集理论。我们使用这种机械来提供有关$ {\mathbfδ}^0_ξ$，Louveau和Saint-raymond的分离定理的结构的Hausdorff-Kuratowski和Wadge定理的新证明。
We present the true stages machinery and illustrate its applications to descriptive set theory. We use this machinery to provide new proofs of the Hausdorff-Kuratowski and Wadge theorems on the structure of ${\mathbf Δ}^0_ξ$, Louveau and Saint-Raymond's separation theorem, and Louveau's separation theorem.
