Fixpoints, games and the difference hierarchy

DOI10.1051/ITA:2003011MaRDI QIDQ4462675zbMATH OpenOpenAlexFDO

Authors Julian Bradfield

Publication date 18 May 2004

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=ITA_2003__37_1_1_0, http://www.numdam.org/item?id=ITA_2003__37_1_1_0/, https://eudml.org/doc/92711

zbMATH Keywords

arithmetic fixpoint definable setsdescriptive set theorydifference hierarchyfixpoint hierarchyGale-Steward gamesgame quantifiermodal mu-calculusmu-arithmeticparity gamestransfinite fixpoint hierarchies

Mathematics Subject Classification ID

Logic in computer science (03B70) Descriptive set theory (03E15) Formal languages and automata (68Q45) Games involving topology, set theory, or logic (91A44)

Recommendations

• Computer Science Logic
• scientific article; zbMATH DE number 515730
• On fixpoint arithmetic and infinite time Turing machines
• Defining winning strategies in fixed-point logic

Cites work

• μ-definable sets of integers
• Classical hierarchies from a modern standpoint. Part I. C-sets
• Descriptive set theory
• Fine hierarchy of regular \(\omega\)-languages
• Fixed point characterization of infinite behavior of finite-state systems
• scientific article; zbMATH DE number 3572126 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 515730 (Why is no real title available?)
• scientific article; zbMATH DE number 1424046 (Why is no real title available?)
• The finite levels of the hierarchy of effective R-sets
• The modal mu-calculus alternation hierarchy is strict

Cited in

(7)

• On fixpoint arithmetic and infinite time Turing machines
• Measure properties of regular sets of trees
• Measure Properties of Game Tree Languages
• scientific article; zbMATH DE number 3915185 (Why is no real title available?)
• scientific article; zbMATH DE number 1424046 (Why is no real title available?)
• Computer Science Logic
• Higher-order feedback computation

This page was built for publication: Fixpoints, games and the difference hierarchy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4462675)