{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,2,28]]，“日期-时间”：“2023-02-28T17:33:13Z”，“时间戳”：1677605593739}，“引用-计数”：0，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“4”，“许可证”：[{“开始”:{“日期-零件”：[2019,6,10]]，”日期-时间“：”2019-06-10T00:00:00Z“，”时间戳“：1560124800000｝，“内容版本”：“未指定”，“延迟天数”：0，“URL”：“https://www.cambridge.org/core\/terms”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“J.symb.log.”]，“已发布的印刷品”：｛“日期部分”：[[2019,12]]｝，“摘要”：“摘要<\/jats:title>我们回答了哈姆金斯和莱希提出的关于隐式可构造宇宙Imp，他们在[5]中介绍了它。具体来说，我们表明它与ZFC相对一致$$Imp=\\neg｛\\rm｛CH｝｝$$<\/jats:tex math><\/jats:talternatives><\/jats:inline formula>，即$Imp\\ne{\\rm{HOD}}$<\/jats:tex-math><\/jax:alternatives><\.jats:inline-formula>$$Imp\\models V\\ne Imp$$或换句话说$\\left（{Imp}\\right）^{Imp}\\ne Imp$<//jats:tex-math><//jats：alternatives><//jax:inline-formula><\/jats:p>“，”DOI“：”10.1017\/jsl.2018.57“，”type“：”journal-article“，”created“：{”date-parts“：[[2019,6,10]]，”date-time“：”2019-06-10T03:51:05Z“，”timestamp“：1560138665000}，”page“：“1403-1421”，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“THE IMPLICITRUCTIBLE UNIVERSE”]，“前缀”：“10.1017“，”卷“：”84“，”作者“：[{”给定“：”MARCIA J.“，”family“：”GROSZEK“，”sequence“：”first“，”affiliation“：[]}，{“given”：“JOEL DAVID”，“family”：“HAMKINS”，“sequence”：“additional”，“affiliance”：[]2]，“member”：“56”，“published-online”：{“date-parts”：[2019,6,10]]}“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481218000579“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposted”：{“date-parts”：[[2019,12,27]]，“date-time”：”2019-12-27T09:07:48Z“timestamp”：1577437668000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481218000579\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2019,6,10]]}，”references-count“：0，”journal-issue“：{”issue“：”4“，”published-print“：{”date-parts“：[2019,12]}}”，“alternative-id”：[“S002244”81218000579“]，”URL“：”http:\/\/dx.doi.org\/10.1017\/jsl.2018.57“，”关系“：{}，”ISSN“：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”value“：”0022-48012“，“type”：“print”}，{”value“：”1943-5.886“，”type“:”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2019,6,10]]}}}}