{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,4,15]]，“日期-时间”：“2024-04-15T15:48:56Z”，“时间戳”：1713196136701}，“参考-计数”：31，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“1”，“许可证”：[{“开始”:{“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000｝，“内容版本”：“未指定”，“延迟天数”：2568，“URL”：“https://www.cambridge.org/core\/terms”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“J.symb.log.”]，“已发布的印刷品”：｛“日期部分”：[[2007,3]]｝，“摘要”：“摘要<\/jats:title>我们从可计算性理论和逆向数学的角度研究了各种关于线性和偏序的组合定理的复杂性。我们特别关注原理ADS（升序或降序），它表明每个无限线性序都有一个无限降序或无限升序，以及CAC（链-反链），它表示每个无限偏序都有无限链或无限反链。众所周知，拉姆齐对定理()拆分为稳定版本()和内聚原则（COH）。我们证明了ADS和CAC也是如此，并且在它们的情况下，稳定版本严格弱于完整版本（对于和). 我们还分析了这些原理与反向数学之前研究的其他系统和原理（如WKL）之间的关系0<\/jats:sub>、DNR和B\u03a32<\/jats:sub>。例如，我们展示了WKL0<\/jats:sub>与我们研究的所有系统都无法相比。我们还证明了它们的可计算性理论和守恒结果。在这些结果中，霍拉克、乔库什和斯拉曼证明了一个事实，即COH是-保守的基本系统RCA0<\/jats:sub>。我们还证明了CAC并不意味着DNR，结合霍库什Hirschfeldt的最新结果。Kjos-Hanssen、Lempp和Slaman表明，CAC并不意味着（这并不意味着). 这回答了乔拉克、乔库什和斯拉曼的问题<\/jats:p>我们的证据表明，ADS和CAC之间的本质区别一方面是另一方面，我们分析所需的颜色在某种程度上具有传递性。我们将这种直觉形式化为传递着色和半传递着色的概念，并证明这种着色的齐次集的存在性分别等价于ADS和CAC。我们以几个开放性问题结束<\/jats:p>“，”DOI“：”10.2178\/jsl\/1174668391“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T11:24:33Z“，”timestamp“：1198063473000}，”page“：“，”卷“：”72“，”作者“：[{“given”：“Denis R.”，“family”：“Hirschfeldt”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“Richard A.”，“家族”：“Shore”，“序列”：“additional”，“filiation“：[]]]，“member”：“56”，“published-online”：{“date-parts”：[[2014,3,12]}，“reference”：[{key：“S0022481200005557_ref030”，“volume-title”：“Logic”69年学术讨论会”，“作者”：“Specker”，“年份”：“1971年“}，{“key”：“S0022481200005557_ref029”，“首页”：“171\u2013180”，“文章标题”：“测度理论与弱K\u00f6nig引理”，“卷”：“30”，“作者”：“辛普森”，“年份”：“1990”，“期刊标题”：《数理逻辑档案》}“，”作者“：”Simpson“，”year“：”1977“}，{“key”：“S0022481200005557_ref026”，“doi-asserted-by”：“crossref”，“first page”：”570\u2013582“，”doi“：”10.1305\/ndjfl\/1040136917“，”article-title“：”On the strongth of Ramsey’s Equality“，”volume“36”，“author”：“Seetapun”，”year:“1995”，“journal-title”：“Notre Dame journal of Formal Logic”}，}“键“：”S0022481200005557_ref024“，”doi由“：”publisher断言，“doi”：“10.1016\/S0049-237X（08）72003-2”}，｛“key”：“S0022481200005557\ref023”，“doi由”断言：“publisher”，“doi”：“10.1007\/BFB090171”}，｛“key”：“S0022481200005557\ref022”，“非结构化”：“Mourad J.，算术碎片和优先级方法的基础，芝加哥大学博士论文，1988。”key“：”S0022481200005557_ref021“，”unstructured“：”Mileti J.R.，分区定理和可计算性理论，博士论文，伊利诺伊大学厄本那-香槟分校，2004年。“}，{”key“”：“S0022481 200005557_ ref028”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-59971-2”}，“key”：“SO0022481120005557_ref020”，”doi-assert-by“”：”publisher“，”DOI“：”10.1007\/BFb0090934“}，{“key”：“S0022481200005557_ref019”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1002\/malq.19930390153”}，“key“：”S0022481 200005557_ ref016“，“unstructured”：“Hirst J.，二阶算术子系统中的组合数学，宾夕法尼亚州立大学博士学位论文，1987。”}首页“：”1\u201355“，”volume“：”66“，”author“：”Cholak“，”year“：”2001“，”journal-title“：”On the strongth of Ramsey’s Theorem for pairs“}，{“key”：“S0022481200005557_ref006”，“first-page”：“1371\u2013 1381”，“volume”：S0022481200005557_ref015“，“非结构化”：“Hirschfeldt D.R.，Jockusch C.G.Jr.，Kjos-Hanssen B.，Lempp S.和Slaman T.A.，关于某些组合原理的证明理论强度的一些评论，将出现在2005年新加坡无限计算前景程序的会议记录中。”}，{“key”：“S0022481 200005557_ ref017”，“第一页“：”268\u2013280“，”volume“：”37“，”author“：”Jockusch“，”year“：”1972“，”journal-title“：”Ramsey定理和递归理论“}，{“key”：“S0022481200005557_ref025”，“volume-title”：“线性排序”，“volume”：”98“，”author“”：“Rosenstein”，“year”：“1982”}，“key“：Avigad J.，保守性注释，\u03c9-子模型和收集模式，技术报告CMU-PHIL-125，卡内基梅隆大学，2002年，（更新版本见http://www.andrew.CMU.edu\/user\/Avigad\/papers.html）。“}，{”key“：”S0022481200005557_ref031“，”doi-asserted-by“：”publisher“，”doi“：”10.4064\/fm-16-1-386-389“}“，{“key”：”S0224812000055057_ref001“，”首页“：”1089\u20131104“，”volume“：f011“，“首页”：“185\u2013196”，“卷时间”：“算术、证明理论和计算复杂性（布拉格，1991）“，“卷”：“23”，“作者”：“H\u00e1jek”，“年份”：“1993”}，{“键”：“S0022481200005557_ref007”，“首页”：“823\u2013976”，“卷-时间”：“递归数学手册”，“卷标”：“138\u2013139”，”作者“：“唐尼”，“年”：“1998”}doi-asserted-by“：”publisher“，”DOI“：”10.1007\/BF02219289“}，{”key“：”S0022481200005557_ref018“，”first page“：“33\u201356”，”article-title“：”classes and degrees of theory“，“volume”：“173”，“author”：“Jockusch”，“year”：“1972”，“journal-title”：“Transactions of the American Mathematical Society”}，”{“key”：一阶算术的元数学“，”author“：”H\u00e1jekand“，”year“：”1998“}，{”key“：”S0022481200005557_ref013“，”first page“：“103\u2013113”，”article-title“：”可计算关系的某些同构图像的图灵度“，”volume“：S0022481200005557_ref009“，“首页”：“1451\u20131480”，“卷”：“65”，“作者”：“Giusto”，“年份”：“2000”，“日记标题”：“定位集和逆向数学”}，{“key”：“S0022481 200005557_ ref002”，“doi-asserted-by”：“publisher”，”doi“：”10.1002\/malq.200410006“}，“key“：”S002248 12000557_ref005“，”首页“：”598\u 2013600“，“卷”：“37”，“作者”：“库珀”，“年份“：”1972“，”日记标题“：”超超鼠集合的跳跃等价“}，{“key”：“S0022481200005557_ref008”，“first page”：”557\u2013558“，”volume“：”41“，”author“：”Friedman“，”year“：”1976“，”journal title“：”带限制归纳法I的二阶算术系统（抽象）“}volume“：”66“，”author“：”Herrmann“，”year“：”2001“，”journal-title“：”computable partial orderings中的无限链和反链“}]，”container-title”：[“journal of Symbolic Logic”]，”original-title:[]，”language“：”en“，”link“：[{”URL“https:\/\/www.cambridge.org\/core\/servicess\/aop-cambridge-core\/content\/view\/S0022481200005557”，”content-type“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,1]]，”date-time“：”2019-05-01T20:11:38Z“，”timestamp“：1556741498000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S0022481200005557\/type\/journal_article“}}”，“字幕”：[]，“shorttitle“：[]，”issued“：{”date-parts“：[[2007,3]]}，”references-count“：31，”journal-issue“：{“issue”：“1”，”published-print“：{”date-ports“：[2007,3]}}，“alternative-id”：[“S0022481200005557”]，“URL”：“http://\/dx.doi.org\/10.2178\/jsl\/1174668391”，“relation”：{}，，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN-type”：[{“value”：“0022-48012”，”type“：”print“}，{“value”：“1943-5886“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2007,3]]}}