{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,4,23]]，“日期时间”：“2024-04-23T15:37:00Z”，“时间戳”：1713886620642}，“引用计数”：30，“发布者”：“IOS出版社”，“问题”：“2”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[“COM”]，“published-print”：{“date-parts”：[[20200,5,13]]}，“DOI”：“10.3233\/com-180203”，“type”：“journal-article”，“created”：{”date-part“：[[2020,4,17]]，“date-time”：“2020-04-17T16:19:38Z”，“timestamp”：1587140378000}，”page“：”85-110“，”source“：“Crossref”，“is-referenced-by-count”：4，“title”：[“Ramsey \u2019s定理和Weihrauch中的乘积度“]，”前缀“：”10.3233“，”体积“：”9“，“author”：[{“given”：“Damir D.”，“family”：“Dzhafarov”，“sequence”：“first”，“affiliation”：[}“name”：“美国威斯康星州麦迪逊大学数学系”。damir@math.uconn.edu“}]}，{”given“：”Jun Le“，”family“：”Goh“，”sequence“：”additional“，”affiliation“：[{”name“：”University of Connecticut，CT，U.S.A.数学系。。junle.goh@wisc.edu“}]}，{”given“：”Denis R.“，”family“：”Hirschfeldt“，”sequence“：”additional“，”affiliation“：[{”name“：”美国伊利诺伊州芝加哥大学数学系。。drh@math.uchicago.edu“}]}，{”given“：”Ludovic“，”family“：”Patey“，”sequence“：”additional“，”affiliation“：[{”name“：”Camille Jordan学院，University\u00e9 Claude Bernard Lyon 1，法国。ludovic.patey@computability.fr“}]}，{”given“：”Arno“，”family“：”Pauly“，”sequence“：”additional“，”affiliation“：[{”name“：”英国斯旺西大学计算机科学系。。a.m.pauly@swansea.ac.uk“}]}]，“member”：“7437”，“reference”：[{“issue”：“6”，“key”：“10.3233\/COM-180203_ref1”，“doi-asserted-by”：“publisher”，“首页”：“1153”，“doi”：“10.1016\/j.apal.2016.11.010”，“article-title”：“部分顺序和线性顺序的统一内容”，“volume”：.逻辑“}，{”问题“：”6“，”键“：”10.3233\/COM-180203_ref3“，”doi-asserted-by“：“publisher”，“first page”：“623”，“doi”：“10.1016\/j.apal.2011.10.006”，“article-title”：“Bolzano\u2013Weierstrass定理是弱K\u0151nig\u2019s引理的跳跃”，“volume”：”163“，”author“：”Brattka“，”year“：”2012“，”journal-title“：”Ann.Pure Appl。逻辑“}，{“key”：“10.3233\/COM-180203_ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s00224-017-9798-1”}，“{”key“：”10.3233\/COM-18023_ref6“，“unstructured”：“V.\u00a0Brattka，R.\u00a 0H\u00f6lzl and R.\u00 a0Kuyper.Monte Carlo可计算性，第34届计算机科学理论方面研讨会（STACS 2017），Dagstuhl，Germany，H.\u00a0Vollmer and B.\u00a 0Vall\u00e9e，eds，Leibniz International Proceedings in Informatics（LIPIcs），Vol.\u00a/066，Schloss Dagstuhel\u2013Leibniz-Zentrum fuer Informatik，2017，pp.\u0017:1\u201317:14.“}，{“issue”：“9”，“key”：“10.3233\/COM-180203_ref7”，“首页”：“77”，“article-title”：“测量计算内容的复杂性（Dagstuhl研讨会15392）“，”文章标题“：”关于Weihrauch度的代数结构，“卷”：“14”，“作者”：“Brattka”，“年份”：“2018”，“期刊标题”：“日志”。方法计算。科学。“}，{”issue“：”4“，”key“：”10.3233\/COM-180203_ref10“，”doi-asserted-by“：”publisher“，”first page“：“1278”，”doi“：”10.1017\/jsl.2017.43“，”article-title“：”On the uniform computation content of Ramsey \u2019s theiration“，”volume“：/COM-180203_ref11“，”doi-asserted-by“：”publisher“，”first-page“：”268“，”DOI“：”10.2307\/2272972“，”article-title“：”Ramsey \u2019s定理和递归理论“，”volume“：”37“，”author“：”Carl“，”year“：”1972“，”journal-title”：“J.Symbolic Logic”}，{“issue”：“1”，“key”：“10.3233\/COM-180203_ref12”，“DOI-asserted-by”：“publisher”，“first-pages”：“0”，“DOI”：“10.2307 \/2694910“，”文章标题“：”基于Ramsey \u2019s对定理“，”volume“：”66“，”author“：”Cholak“，”year“：”2001“，”journal-title“：”J.Symbolic Logic“}，{”issue“：”4“，”key“：“10.3233\/COM-180203_ref13”，”doi-asserted-by“：”publisher“，“first page”：“1438”，“doi”：“10.2178\/jsl\/1254878700”，“article-title”：“更正：\u201c关于Ramsey \u2019s对定理的强度\u201d“，“卷”：“74”，“作者”：“Cholak”，“年”：“2009”，“期刊标题”：“J.符号逻辑”}，｛“键”：“10.3233\/COM-180203_ref14”，“非结构化”：“Denis and R.\u00a0Hirschfeldt，Slicing the Truth:On the Computable and Reverse Mathematics of Combinatorial Principles，演讲笔记系列，新加坡国立大学数学科学研究所，世界科学出版公司，2014年。“}，{“issue”：“11”，“key”：“10.3233\/COM-180203_ref15”，“doi-asserted-by”：“publisher“，”first page“：”5805“，”DOI“：”10.1090\/S0002-9947-09-04847-8“，”article-title“：”The atomic model theory and type ommitting“，“volume”：“361”，“author”：“Denis”，“year”：“2009”，“journal-title”：“Trans”。阿默尔。数学。Soc.“}，{”issue“：”2“，”key“：”10.3233\/COM-180203_ref16“，”doi-asserted-by“：”publisher“，”first page“：“1321”，”doi“：”10.1090\/tran\/6465“，”article-title“：”On uniformular relationships between combination problems“，”volume“:”368“，”author“：”Dorais“，”year“：”2016“，”journal title“”：”Trans.Amer.Math.Soc.“}”，{“key”：“”10.3233\/COM-180203_ref17“，”doi-asserted-by“：”crossref“，”unstructured“：”R.G.\u00a0Downey和D.R.\u00a 0Hirschfeldt，《算法随机性和复杂性》。《可计算性理论与应用》，Springer，纽约，2010.“，”DOI“：”10.1007\/978-0-387-68441-3“}，{“issue”：“4”，“key”：“10.3233\/COM-180203_ref18”，“DOI-asserted-by”：“publisher”，“first page”：”1405“，“DOI”：“10.1017\/jsl.2016.1”，“article-title”：“组合原理之间的强约简”，“volume”:“81”，“author”：“Dzhafarov”，“year”：“2016年“journal-title“：”J.Symbolic Logic“}，{”key“：”10.3233\/COM-180203_ref19“，”doi-asserted-by“：”publisher“，”first page“：“749”，“doi”：“10.4310\/MRL.2019.v26.n3.a5”，“article-title”：“加入强Weihrauch度”，“volume”：“26”，“author”：“Dzhafarov”，“year”：“2019”，”journal-title“”：“Math.Res.Lett.”}，}“问题”：“2”，“密钥”：“10.3233\/COM-180203_ref20”，“doi-asserted-by“：”publisher“，”first page“：”557“，”doi“：”10.2178 \/jsl \/1243948327“，”article-title“：”Ramsey \u2019s定理和锥回避“，”volume“：“74”，”author“：”Dzhafarov“，”year“：”2009“，”journal-title”：“J.Symbolic Logic”}，{“issue”：“3”，“key”：“10.3233 \/COM-180203_ref21”，“doi-assert-by”：“publisher”，“首页”：“1343”，“doi”：“10.1090\/proc\/13315“，”article-title“：”Ramsey \u2019s单体定理和强可计算可约性“，”volume“：”145“，”author“：”Dzhafarov“，”year“：”2017“，”journal-title”：“proc。阿默尔。数学。Soc.“}”，{“key”：“10.3233\/COM-180203_ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.2168\/LMCS-9（2:2）2013”}，{”key“：”10.3233\/COM-18023_ref23“，”doi-assert-by“：”crossref“，”unstructured“：”D.R.\u00a0Hirschfeldt和C.G.\u00a 0Jockusch Jr.，关于\u03a0 2 1原则之间的可计算性理论约化概念，J.Math日志16（1）（2016），1650002，59.“，”DOI“：”10.1142\/S0219061316500021“}，{”key“：”10.3233\/COM-180203_ref24“，”DOI-asserted-by“：”crossref“，”unstructured“：”D.R.\u00a0Hirschfeldt，C.G.\u00a 0Jockusch Jr.，B.\u00a/0Kjos-Hanssen，S.\u00a-0Lempp和T.A.\u00a.0Slaman，与Ramsey \u2019s对定理相关的一些组合原理的强度，收录于：无限的计算前景，C.\u00aoChong，Q.\u00aa0Feng，T.A.\u 00a0Slamen，W.H.\u 0a0Woodin和Y.\u 00a 0Yang，eds，演讲笔记系列，新加坡国立大学数学科学研究所，2008，pp.\u00a0143\u2013161.“，“DOI”：“10.1142\/9789812796554_0008”｝，｛“key”：“10.3233\/COM-180203_ref25”，“DOI断言者”：“publisher”，“DOI”：“10.1007\/978-3-319-50062-1_12”｝，｛“issue”：“7\u20138”，“key”：“10.3233\/COM-180203_ref26”，“DOI断言者”：“publisher”，“首页”：“857”DOI“：”10.1007\/s0153-019-00664-z“，”文章标题“：”使用拉姆齐\u2019s定理一次“，”卷“：”58“，”作者“：”赫斯特“，”年份“：”2019“，”期刊标题“：”Arch。数学。逻辑“}，{“问题”：“2”，“键”：“10.3233\/COM-180203_ref27”，“doi-asserted-by”：“出版商”，“首页”：“609”，“doi”：“10.2178\/jsl\/1333566640”，“文章-标题”：“RT 2 2不表示WKL 0”，卷：“77”，“作者”：“刘”，“年份”：“2012”，“日志标题”：《符号逻辑》}，}“键”0203_ref28“，”doi-asserted-by“：”publisher“，”首页“：”1“，”DOI“：”10.1215\/00294527-2018-0020“，”article-title“：”u03a0 1 0 encodability and omniscient reductions“，”volume“：”60“，”author“：”Monin“，”year“：”2019“，”journal-title”：“Notre Dame J.Form.Log。“}，{”key“：”10.3233\/COM-180203_ref29“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1016\/j.jco.2017.08.003“，”article-title“：”代数计算模型的拓扑视图“，”volume“：by“：”publisher“，”doi“：”10.1007\/978-3-319-40189-8_36“}，{“issue”：“2”，“key”：“10.3233\/COM-180203_ref32”，“doi-asserted-by”：“publisher”，“first-page”：“905”，“doi”：“10.1007\/s11856-016-1433-3”，“article-title”：“逆向数学中凝聚力、瘦性或自由性的弱点”，“volume”：”216“author”：“Patey”，“year”：“2016”，“journal-title“：”Israel J.Math.“}，{“密钥”：“10.3233\/COM-180203_ref34“，”doi-asserted-by“：”crossref“，”unstructured“：”S.G.\u00a0Simpson，二阶算术子系统。《逻辑观点》，第2版，剑桥大学出版社，剑桥，2009年。“，”DOI“：”10.1017\/CBO9780511581007“}]，”container-title“：[”可计算性“]，”original-title”：[]，”link“：[{”URL“：”https:\/\/content.iospress.com\/download？id=10.3233\/com-180203“，”content-type“：”unspecified“，”内容-版本“：”vor“，”intended-application“：”相似性检查“}]，“deposed”：{“date-parts”：[[2020,5,15]]，“date-time”：“2020-05-15T16:01:47Z”，“timestamp”：1589558507000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/www.medra.org\/servlet\/aliasResolver？alias=iospress&doi=10.3233\/COM-180203”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“[2020,5,13”]]}，“references-count”：30，“journal-issue”：{“issue”：“2”}，“URL”：“http://\/dx.doi.org\/10.3233\/com-180203”，“关系”：{}，”ISSN“：[”2211-3576“，”2211-35.68“]，“ISSN-type”：[{“value”：“2211-3576]，“type”:“electronic”}、{“value”：“22.11-3568”，“types”：“print”}]，“subject”：[]，“published”：{“date-parts”：[2020,5,13]}}}}