Documentation scienceplus.abes.fr version Bêta

À propos de : Fixpoints, games and the difference hierarchy        

AttributsValeurs
type
Is Part Of
Subject
Title
  • Fixpoints, games and the difference hierarchy
Date
has manifestation of work
related by
Author
Abstract
  • Drawing on an analogy with temporal fixpoint logic, we relate the arithmetic fixpoint definable sets to the winning positions of certain games, namely games whose winning conditions lie in the difference hierarchy over $\Sigma^0_2$. This both provides a simple characterization of the fixpoint hierarchy, and refines existing results on the power of the game quantifier in descriptive set theory. We raise the problem of transfinite fixpoint hierarchies.
article type
publisher identifier
  • ita0303
Date Copyrighted
Rights
  • © EDP Sciences, 2003
Rights Holder
  • EDP Sciences
is part of this journal
is primary topic of



Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata