Wadge degrees of Δ20 omega-powers

We provide, for each natural number and each class among D-n(Sigma(0)(1)), D-n(Sigma(0)(1)), D2n+1(Sigma(0)(1))circle plus D2n+1(Sigma(0)(1)), a regular language whose associated omega‐power is complete for this class.

Saved in:
Bibliographic Details
Published inMathematical logic quarterly
Main Authors Finkel, Olivier, Lecomte, Dominique
Format Journal Article
LanguageEnglish
Published Wiley 06.09.2024
Subjects
Mathematics
Hierarchy
Set
Online AccessGet full text

Cover

More Information
Summary:We provide, for each natural number and each class among D-n(Sigma(0)(1)), D-n(Sigma(0)(1)), D2n+1(Sigma(0)(1))circle plus D2n+1(Sigma(0)(1)), a regular language whose associated omega‐power is complete for this class.
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.202400024