Switch to: References

Add citations

You must login to add citations.
  1. Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
    Locally finite omega languages were introduced by Ressayre [Formal languages defined by the underlying structure of their words. J Symb Log 53(4):1009–1026, 1988]. These languages are defined by local sentences and extend ω-languages accepted by Büchi automata or defined by monadic second order sentences. We investigate their topological complexity. All locally finite ω-languages are analytic sets, the class LOC ω of locally finite ω-languages meets all finite levels of the Borel hierarchy and there exist some locally finite ω-languages which are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Locally finite ω‐languages and effective analytic sets have the same topological complexity.Olivier Finkel - 2016 - Mathematical Logic Quarterly 62 (4-5):303-318.
    Local sentences and the formal languages they define were introduced by Ressayre in. We prove that locally finite ω‐languages and effective analytic sets have the same topological complexity: the Borel and Wadge hierarchies of the class of locally finite ω‐languages are equal to the Borel and Wadge hierarchies of the class of effective analytic sets. In particular, for each non‐null recursive ordinal there exist some ‐complete and some ‐complete locally finite ω‐languages, and the supremum of the set of Borel ranks (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark