scientific article

zbMath1260.03075MaRDI QIDQ2909624

Szczepan Hummel, Michał Skrzypczak

Publication date: 6 September 2012

Full work available at URL: http://iospress.metapress.com/content/h3h1v330140r601k/fulltext.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

topological complexityBorel hierarchyprojective hierarchyMSO+U\(\omega \)BS-automata

Mathematics Subject Classification ID

Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05)

Related Items (10)

Asymptotic Monadic Second-Order Logic ⋮ The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic ⋮ Delay Games with WMSO+U Winning Conditions ⋮ Simple strategies for Banach-Mazur games and sets of probability 1 ⋮ Unnamed Item ⋮ Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts ⋮ Unnamed Item ⋮ Wadge-Wagner hierarchies ⋮ Monadic Second Order Logic with Measure and Category Quantifiers ⋮ On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words

This page was built for publication: