亚历山大·拉比诺维奇 可数序数的教会问题。 （英语） Zbl 1168.03006号 日志。方法计算。科学。 5，第2期，论文5，19页（2009年）。 摘要：Büchi和Landweber的一个基本定理表明Church综合问题是可计算的。Büchi和Landweber将Church问题简化为关于（omega）-游戏的问题，并将此类游戏的确定性作为主要工具之一来展示其可计算性。我们考虑Church问题对可数序数的自然推广，并研究任意可数长度的对策。我们证明了Büchi定理和Landweber定理的确定性和可判定部分对所有可数序数都成立，并且证明了它的完全扩张对所有序数（<\omega^{\omega}）都成立。 引用于1文件 MSC公司： 03B25号 理论和句子集的可决定性 05年3月 与逻辑问题相关的自动机和形式文法 91A80型 博弈论的应用 关键词：教会综合问题;\（\omega\）-游戏;可数序数 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，日志。方法计算。科学。5，第2号，论文5，19页（2009年；Zbl 1168.03006） 全文： 内政部