{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T21:05:06Z”，“时间戳”：1648587906462}，“引用-计数”：19，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“2”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“date-time”：“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]}”，“DOI”：“10.2307\/2274210”，“type”：“journal-article”，“created”：{“date-parts”：[[2006,5,6]]，“日期-时间”：“2006-05-06T18:08:28Z”，“时间戳”：1146938908000}，“页面”：“674-682”，“源”：“Crossref”，“is-referenced-by-count”：0，“标题”：[“丹佛符号逻辑协会年会，1983”]，“前缀”：“10.1017”，“卷”：“49”，“作者”：[{“后缀”：“Jr”，“给定”：“Carl G.”，sequence“：”first“，”affiliation“：[]}，{“given”：“Richard”，“family”：“Laver”，“sequence”：“additional”，“affiliation”：[]}，{”given“：Donald”，”family“：”Monk“，”sequence“：”additional“，”affiliance“：[]]，{（给定）：“Jan”，“家族”：“Mycielski”，“序列”：“additional”、“affidiation”：“[]}]，“成员“：”56“，”在线发布“：{“date-parts”：[[2014,3,12]]}，“reference”：[{“key”：“S0022481200033831_ref022”，“first page”：”74“，”volume“：”23“，”year“：”1982“，”journal-title“：”Notre Dame journal of Formal Logic“}，”key“：“S0.02248120003831_ref023”，“doi-asserted-by”：“publisher”，“doi”：“10.1305 \/ndjfl \/1093882414”}，{“key”：“S0022481200033831_ref020”，“卷”：“I”，“日志标题”：“内涵逻辑”}，{“key”：“S0022481200033831_ref008”，“doi-asserted-by”：“publisher”，”doi“：“10.2307\/1969503”}、{“key”：”S0022481 200033831_ref007“，”首页“：”253“，”卷“：”3“，“年份”：“1982”，”杂志标题“：”美国数学学会论文摘要“}，by“：”crossref“，“首页”：“31”，“DOI”：“10.4064\/fm-109-1-31-36”，“卷”：“109”，“年”：“1980”，“日记标题”：“基础数学”}，{“键”：“S0022481200033831_ref005”，”首页“：”486“，”卷“：”2“，”卷“：”86“，”年份“：”1982“，“期刊标题”：《美国数学学会会刊》}，{“key”：“S0022481200033831_ref002”，“首页”：“243”，“卷”：“34”，“年”：“1972”，“期刊标题”：“美国数学学会会刊”}，{“key”：“S0022481200033831_ref019”，“首页”：“192”，“卷”：“49”，“年”：“1984”，“期刊标题”：“认识论算术是直觉主义算术的保守扩展”}，{“key”：“S0022481200033831_ref018”，“first page”：”147“，“volume”：：“11”，“year”：“1971”，“journal-title”：“Annals of Mathematical Logic”}、{“key”：：“递归可枚举子空间格自同构下的最大向量空间”}，{“key”：“S0022481200033831_ref015”，“doi-asserted-by”：“crossref”，“first page”：”450“，“doi”：“10.1215\/ijm\/1256050747”，“volume”：：“19”，“year”：“1975”，“journal-title”：“Illinois journal of Mathematics”}：“拓扑的收敛性和一致性”，“年份”：“1940”}，{“key”：“S0022481200033831_ref013”，“首页”：“454”，“卷”：“46”，“年”：“1983”，“期刊标题”：“伦敦数学会志”}、{“密钥”：“SO00224812000/33831_ref012”，“第一页”：”651“，“卷宗”：“4”，”年“：”1972“，”期刊标题“伦敦数学学会学报”}和{“key”：“S0022481200033831_ref011”，“doi asserted by”：“publisher”，“doi”：“10.1090\/S002-9947-1965-0201316-8”｝，｛“key”：“S0022481200033831_ref024”，“volume title”：“复数三元逻辑：包括五个量的规则和维恩图”，“year”：“1982”｝，｛“key”：“S0022481200033831_ref021”，“volume”：“I”，“journal title”：“Intentional logic”｝]，“container title”：[“符号逻辑杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200033831”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,5,23]]，“date-time”：“2019-05-23T16:48:10Z”，“timestamp”：1558630090000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S0022481200033831\/type\/journal_article”}}，《副标题》：[]，“短标题”：[]“2”，“published-print”：{“date-parts”：[[1984,6]]}}，“alternative-id”：[“S0022481200033831”]，“URL”：“http://\/dx.doi.org\/10.2307\/2274210”，“关系”：{}，“ISSN”：[”0022-4812“，”1943-5886“]，“ISSN-type”：[{“value”：“0022-4812'，”type“：”print“}，{“value”：“1943-5886'，”类型“：”electronic“}]，”subject“：[]，”published“：{“date-parts”：[1984,6]}}}