{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,1,30]]，“日期时间”：“2024-01-30T21:40:03Z”，“时间戳”：1706650803113}，“参考计数”：8，“出版商”：“杜克大学出版社”，“问题”：“4”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”短容器时间“：[“圣母院J。形式逻辑“]，”published-print“：{”date-parts“：[[1998,10,1]]}，”DOI“：”10.1305\/ndjfl\/1039118865“，”type“：”journal-article“，”created“：”{”data-parts”：[[2003,2,25]]，“date-time”：“2003-02-25T20:37:45Z”，“timestamp”：1046205465000}，“source”：“Crossref”，“is-referenced-by-count”：7，“title”：[“超隐含非低理论”]，“prefix”：“10.1215”，“volume”：“39”，“作者”：[｛“给定”：“Enrique”，“家族”：“Casanovas”，“序列”：“first”，“affiliation”：[]｝，｛“给定”：“Byunghan”，“家族”：“Kim”，“序列”：“additional”，“affiliation”：[]｝]，“member”：“73”，“reference”：[｛“key”：“1”，“doi asserted by”：“publisher”，“nonstructured”：“Buechler，S.，\u201cLascar一些简单理论中的强类型，\u201d《符号逻辑杂志》，第64卷（1999年），第817\u201324页。Zbl 0930.03035 MR 2001k:03071“，“DOI”：“10.2307\/2586503”}，{“key”：“2”，“unstructured”：“Buechler，S.，A.Pillay，and F.O.Wagner，超简单理论，即将于美国数学学会杂志。Zbl 0963.03057 MR 2001j:03065“}，{“key”：“3”，“doi-asserted-by”：“crossref”，“unstructured”：“Casanovas，E.，\u201c简单理论中的类型数，\u201 d《纯粹逻辑与应用逻辑年鉴》，第98卷（1999年），第69\u201386页。Zbl 0939.03039 MR 2000f:03102“，“DOI”：“10.1016\/S0168-0072（98）00050-5”}，{“key”：“4”，“unstructured”：“Kim，B.，\u201cSimple一阶理论，\u201 D博士论文，圣母大学，圣母，1996年”}《伦敦数学学会杂志》，第57卷（1998年），第257\u201367页。Zbl 0922.03048 MR 2000a:03052“，”DOI“：”10.1112\/S0024610798005985“}，{”key“：”6“，”DOI-asserted-by“：”crossref“，”unstructured“：”Kim，B.，\u201cA关于简单理论中Lascar强类型的注释，\u201 d《符号逻辑杂志》，第63卷（1998年），第926\u201336页。Zbl 0961.03030 MR 2000a:003053”，“DOI”：“10.2307\/2586720”}，｛“key”：“7”，“DOI断言”：“crossref”，“非结构化”：“Kim，B.，and A.Pillay，\u201c简单理论，\u201d《纯粹和应用逻辑年鉴》，第88卷（1997年），第149页。Zbl 0897.03036 MR 99b:03049“，“DOI”：“10.1016\/S0168-0072（97）00019-5”}，{“键”：“8”，“非结构化”：“Kunen，K。，《集合论，独立性证明导论》，北荷兰，阿姆斯特丹，1980年。Zbl 0443.03021 MR 82f:03001“}]，“container-title”：[“Notre Dame Journal of Formal Logic”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/projecteuclid.org\/journalArticle\/Download？urlid=10.1305\/ndjfl\/1039118865”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“日期部分”：[[2024年1月30日]]，“date-time”：“2024-01-30T21:13:29Z”，“timestamp”：1706649209000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-39\/issue-4\/A-Supersimple-Nonlow Theory\/10.1305\/ndjfl\/1039118865.full”}，”副标题“：[]，”短标题“：[]，”已发布“：{”date-parts“：[1998,10,1]]}，“引用-计数”：8，“新闻发布”：{“发布”：“4”，“在线发布”：}“日期部分”：[[1998,10,1]]}}，“URL”：“http://\/dx.doi.org\/10.10305\/ndjfl\/1039118865”，“关系”：{}，”ISSN“：[”0029-4527“]，”ISSN-type“：[{”value“：”0029-45027“，”type“:”print“}]，”subject“：【】，”published“：{”date-pa“rts“：[[1998,10,1]]}}}