{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,6]]，“日期-时间”：“2024-04-06T02:52:58Z”，“时间戳”：1712371978976}，“参考-计数”：12，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“2”，“许可证”：[{“开始”：{-“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2476，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,6]}”，“abstract”：“”摘要<\/jats:title>我们展示了和证明-Det和那都不是也不是可以删除。我们也证明了这两者都不是也不是证明-详图。此外，我们证明和可在中证明“，”DOI“：”10.2178\/jsl\/1185803618“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:24:48Z“，”timestamp“：1198081488000}，”page“：“452-462”，“source”：“Crossref”，“is-referenced-by-count”：13，“title”：[“\u0394_{3<\/sub>^{O<\/sup>-确定性、理解和归纳“]，“前缀”：“10.1017”，“卷”：“72”，“作者”：[{“给定”：“Medyahya Ould”，“家族”：“梅德塞勒姆”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“Kazuyuki”，“家庭”：“田中”，“顺序”：“附加”，“附属关系”：[]}]，“成员”：“56”，“在线发布”：{“日期段”：[2014年3月1日]2]]}，“引用”：[{“键”：“S0022481200005302_ref012“，“非结构化”：“Welch P.，弱确定性系统和算术拟诱导定义，预印本。”}，{“key”：“S0022482120005302_ref009”，“非结构性”：“Tanaka K.，描述性集合理论和分析子系统，博士论文，加州大学伯克利分校，1986年。”}，{doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-59971-2“}，{“key”：“S0022481200005302_ref002”，“doi-assert-by”：“crossref”，”first page“：”221“，”doi“：“10.1016\/S0168-0072（98）00056-6“，”article-title“：”Bar induction and \u03c9-model reflection“，”volume“：“97”，“author”：“Gerhard”，“year”：“1999”，“journal-title”：“”纯逻辑与应用逻辑年鉴“}，{”key“：”S0022481200005302_ref001“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0003-4843（71）90018-0“}，{“key”：“S002248.1200005302_ref008”，“unstructured”：“Steel J.R.，Determinatess and subsystems of analysis，博士论文，加州大学伯克利分校，1977年Heinatsch C.和M\u00f6llerfeld M.，《预印本理解的确定性强度》，提交出版。“}，{”key“：”S0022481200005302_ref011“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/0168-0072（91）90045-N”}，“key”：“S002248.1200005302_ref005”，“volume-title”：“拓扑”，“卷”：“1”，“作者”：“Kuratowski”，“年份”：“1966”}、{”key“：标题“：”应用于最小覆盖的实集的基本结果“，”卷“：”53“，”作者“：”哈林顿“，”年份“：”1975“，”期刊标题“：”美国数学学会学报“}，{“key”：“S0022481200005302_ref010”，“doi-asserted-by”：“publisher”，”doi“：”10.1002 \/malq.19900360602“}“，{”key“：”S002248.1200005302_ref006“，”首页“：”423“，”volume“：”47“，”author“：”Schmerl“，”journal-title“：”On the role of Ramsey quantifiers in first order algorithm“}]，”container-title”：[“journal of Symbolic Logic”]，”original-title:“[]，”language“：”en“，”link“：[{”URL“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005302”，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,1]]，”date-time“：”2019-05-01T22:12:56Z“，”timestamp“：1556748776000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S00248120005302\/type\/journal_article“}}”，”副标题“”：[]，“短标题”：[]发布“：{“date-parts”：[[2007,6]]}，“references-count”：12，“journal-issue”：{问题：“2”，“published-print”：{-“date-parts”：[[2007,6]]}}，”alternative-id“：[”S0022481200005302“]，”URL“：”http://\/dx.doi.org\/10.2178\/jsl\/118583618“，”关系“：{}”，“ISSN”：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”value“：”0022-4812“，”type“:”print“}，{”value“：”1943-5885“，”类型“：”电子“}”，“主题”：[]，“发布”：{“日期部分”：[[2007,6]]}}}}