{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,10,24]]，“日期-时间”：“2023-10-24T20:59:49Z”，“时间戳”：1698181189059}，“参考-计数”：8，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：10968，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[1984,3]}”，“abstract”（摘要）：“摘要<\/jats:title>本文研究了在一阶算术上下文中存在无限多个量词u201d的量词。基于正则性公理模式，为Peano算法找到了另一种公理化：有界多个有界集的并集是有界的。我们还获得了与非标准算术模型中的割相关的某些二阶理论的组合等价物<\/jats:p>“，”DOI“：”10.2307\/2274109“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,5,6]]，”date-time“：”2006-05-06T18:07:02Z“，”timestamp“：1146938822000}，”page“：author“：[{”given“：”George“，”family“：”Mills“，”sequence”：“first”，“affiliation”：[]｝，｛“given”：“Jeff”，“family”：“Paris”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“56”，“在线发布”：｛“date parts”：[[2014,3,12]]｝，“reference”：[｛“key”：“S0022481200034125_ref008”，“doi asserted by”：“publisher”，“doi”：“10.1016/S0049-237X（08）72003-2”｝，｛“key”：“S0022481200034125_ref 007“，”doi断言为“：”publisher，“DOI”：“10.1016\/S0049-237X（08）71130-3”}，{“key”：“S0022481200034125_ref004”，“unstructured”：“Mills G.，Peano算术模型的扩展，博士论文，加利福尼亚大学伯克利分校，1977年。”}Kirby L.，《算术模型的初始段》，曼彻斯特大学博士论文，1977年。“}，{”key“：”S0022481200034125_ref001“，”unstructured“：”Bennett J.，光谱，博士论文，普林斯顿大学，普林斯顿，新泽西州，1962年“}”，{“key”：“S0022481 200034125_ ref005”，“首页”：“725”，“卷”：“43”，“作者”：“巴黎”，“年份：“1978”，“journal-title”：“Peano算术的一些独立结果”}，{“key”：“S0022481200034125_ref006”，“doi-asserted-by”：“publisher”，doi：“10.1007\/BFb0090171”}author“：”Kirby“，”year“：”1977“}]，”container-title“：[”Journal of Symbolic Logic“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200034125“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“存放“：{”date-parts“：[[2019,5,23]]，”date-time“：”2019-05-23T17:26:34Z“，”timestamp“：1558632394000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200034125\/type\/journal_article“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[1984,3]}，“references-count”：8，“journal-issue”：{“issue”：“1”，“published-print“：{”date-parts“：[[1984,3]]}}，”alternative-id“：[”S0022481200034125“]，”URL“：”http://\/dx.doi.org\/10.2307\/2274109“，”relation“：{}，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN-type”：[{“value”：“0022-48012”，”type“：”print“}，{“值”：“1943-58”，“类型”：“电子”}]，“主题”：[]，“已发布”：{“日期部分”：[[1984,3]]}}