{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,1,31]]，“日期-时间”：“2023-01-31T06:41:02Z”，“时间戳”：1675147262797}，“参考-计数”：20，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“2”，“许可证”：[{“开始”：}“日期-零件”：[[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：10876，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[1984,6]}”，“abstract”（摘要）：“摘要<\/jats:title>索洛维已经表明，如果F： <\/jats:italic>[\u03c9<\/jats:italic>]\u03c9是一个带有递归代码的clopen分区，那么该分区有一个无限同质超算术集（a基础<\/jats:italic>结果）。辛普森已经证明，每0\u03b1<\/jats:italic>，其中\u03b1是递归序数，有一个clopen分区F： <\/jats:italic>[\u03c9<\/jats:italic>]\u03c9<\/jats:italic><\/jax:sup>\u2192 2这样每个无限齐次集都在0以上\u03b1<\/jats:italic>（一个反基<\/jats:italic>结果）。在这里，我们通过将clopen集的\u201corder类型\u201d与无限齐次集的图灵复杂度相关联来改进这些结果。我们还考虑了Nash-Williams势垒定理及其与clopen-Ramsey定理的关系<\/jats:p>“，”DOI“：”10.2307\/2271471“，”type“：”期刊文章“，”已创建“：｛”日期部分“：[[2006,5,6]]，”日期时间“：”2006-05-06T18:08:28Z“，”时间戳“：11469389080000｝，”page“：”376-400“，”source“：”Crossref“，”由count引用“：7，”title“：[”clopen-Ramsey定理的递归理论分析“]，”prefix“：”10.1017“，”volume“：”49“，”author“：[｛”给定“：”Peter“，”family“：”Clote“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-on-line“：{”date-parts“：[[2014,3,12]]}，”reference“：[{”key“：”S0022481200033442_ref019“，”first page“：“，”首页“：”135“，”卷“：”43“，”作者“：”辛普森“，”年份“：”1978“，”journal-title“：”不包含每个更高阶子集的集合“}，{“key”：“S0022481200033442_ref008”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/S0049-237X（08）71365-X“}”，{”key“：”S0022481 200033441_ref006“，”unstructured“：”Clote Peter，极限引理和clopen游戏的泛化，提交给本杂志。“}S0022481200033442_ref010“，“首页”：“353”，“卷”：“34”，“作者”：“弗里德曼”，“年份”：“1969”，“日志标题”：“条归纳法和\u03a011-CA”}，{“键”：“S0022481 200033441_ref015”，“卷标”：“高级递归理论”，“author”：“Sacks”，“year”：“1971”}volume“：”37“，”author“：”Jockusch“，”year“：”1972年“，”journal-title“：”Ramsey定理和递归理论“}，{“key”：“S0022481200033442_ref009”，“first page”：”558“，”volume“：”41“，”author“：”Friedman“，”year“：”1976“，”journal-ttitle“：“带限制归纳法的二阶算术系统。I，II”}，}，”key“：“S0002248120033442_re ref020”，”doi-asserted-by“：”publisher“，”doi“：”10.1090 \/S0002-9947-1978-0491103-7“}，{“key”：“S0022481200033442_ref018”，“首页”：“239”，“卷-标题”：“80年逻辑学术讨论会”，“作者”：“辛普森”，“年份”：“1982”}，}“key”：“SO00224812000/33442_lef013”，“非结构化”：“Quinsey J.E.，逻辑中的一些问题：克里普克实现概念的应用，博士论文，牛津大学，1980年。”}、{“key“：”S0022481200033442_ref012“，”doi-asserted-by“：”publisher“，”doi“：”10.2140\/pjm.1969.30.67“}，{“key”：”S0002248120033442_re ref005“，“first page”：“115”，“volume-title”：“Model theory and algorithm（Proceedings of the CNRS conference，Paris，1979\u20131980）”，“volume”：33442_ref001“，”第一页“：”89“，”article-title“：”Caract\u00e9risation du type d’ordre des barri\u00e8res de Nash-Williams“，”volume“：”11“，”author“：”Assous“，”year“：”1974“，”journal title“：“Publications du d\u00e 9partment de Math\u00e_9matiques，Facult\u00e9 des Sciences de Lyon”}，{“key”：“S0022481200033442_re004”，“unstructured”：“”Clote Peter，Ramsey定理和Gale Stewart定理某些推广的递归理论分析，博士论文，杜克大学，达勒姆，北卡罗来纳州，1979年S0022481200033442_ref002“，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0003-4843（78理论”，“作者”：“Fra\u00efss\u00e9“}，{“key”：“S0022481200033442_ref016”，“volume-title”：“无法解决的程度”，“author”：“Shoenfield”，“year”：“1971”}]，“container-title“：[”符号逻辑杂志“]，“original-tittle”：[]，“language”：“en”，“link”：[{“URL”：“https:\//www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/视图\/S0022481200033442“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,23]]，”date-time“：”2019-05-23T16:47:53Z“，”timestamp“：1558630073000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S0022481200033442\/type\/journal_article“}}}”，“字幕”：[]，“短标题“：[]，”已发布“：{”日期-部分“：[[1984,6]]}，”引用-计数“：20，”日志-发布“：}”问题“：“2”，“已发布-打印”：{“日期-部分”：[[11984,6]]}}，“alternative-id”：[“S0022481200033442”]，“URL”：“http://\/dx.doi.org\/10.2307\/2274171”，“关系”：{}，，“1943-5886”]，“ISSN-type”：[{“值”：“0022-4812”，“类型”：“打印”}，{“数值”：“1943-5886“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[1984,6]]}}}