论文标题
部分可观测时空混沌系统的无模型预测
An Effective Classification of Borel Wadge Classes
论文作者
论文摘要
我们对Baire Space的所有Borel Wadge类别类别提供了新的有效分类。这取决于最初由蒙塔尔班开发的真正舞台机械。我们使用这种机械为Borel Wadge课程提供了Louveau和Saint-Raymond定理的新证明。这给出了子系统$ \ text {atr} _0+π^1_1 $ -i二阶算术的证明。
We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalbán. We use this machinery to give a new proof of Louveau and Saint-Raymond's separation theorem for Borel Wadge classes. This gives a proof of Borel Wadge determinacy in the subsystem $\text{ATR}_0+Π^1_1$-I of second-order arithmetic.
