Fixpoint Alternation and the Game Quantifier
Fixpoint Alternation and the Game Quantifier
复制标题
定点交替和博弈量词
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Julian Bradfield
中科院分区：
文献类型：
--
作者：
Julian Bradfield
利用与时间不动点逻辑的类比，我们将算术不动点可定义集与某些游戏的获胜位置联系起来，即获胜条件位于20以上的差异层次中的游戏。这既提供了一个简单的表征的不动点层次结构，并完善现有的结果的权力的游戏量词在描述集理论。
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 Σ20. 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.