中文

$\Delta^0_2$ $\omega$-幂的Wadge度数

计算机科学中的逻辑 2024-07-16 v1 一般拓扑 逻辑

摘要

我们为每个自然数 nn 以及每个属于 Dn(Σ10)D_n(\Sigma^0_1), Dˉn(Σ10)\bar D_n(\Sigma^0_1)D2n+1(Σ10)Dˉ2n+1(Σ10)D_{2n+1}(\Sigma^0_1)\oplus\bar D_{2n+1}(\Sigma^0_1) 的类,提供一个正则语言,其关联的ω\omega-幂在该类中是完备的。

关键词

引用

@article{arxiv.2407.10520,
  title  = {Wadge degrees of $\Delta^0_2$ omega-powers},
  author = {Olivier Finkel and Dominique Lecomte},
  journal= {arXiv preprint arXiv:2407.10520},
  year   = {2024}
}