English

Wadge degrees of $\Delta^0_2$ omega-powers

Logic in Computer Science 2024-07-16 v1 General Topology Logic

Abstract

We provide, for each natural number nn and each class among Dn(Σ10)D_n(\Sigma^0_1), Dˉn(Σ10)\bar D_n(\Sigma^0_1) and D2n+1(Σ10)Dˉ2n+1(Σ10)D_{2n+1}(\Sigma^0_1)\oplus\bar D_{2n+1}(\Sigma^0_1), a regular language whose associated omega-power is complete for this class.

Keywords

Cite

@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}
}