{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,3]]，“日期-时间”：“2022-04-03T20:04:24Z”，“时间戳”：1649016264193}，“参考-计数”：5，“出版商”：“Springer Science and Business Media LLC”，“问题”：“1”，“许可证”：[{“开始”：{'日期-部件“：[[1983,12,1]]，”日期-时间“：”1983-12-01T00:00:00Z“，“timestamp”：439084800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Arch-math Logik“]，”published-print“：{”date-parts“：[[1983,12]}”，“DOI”：“10.1007\/bf02023012”，“type”：“”journal-article“，”created“：{”date-parts“：[[2005,8,12]]，“日期-时间”：“2005-08-12T12:01:33Z”，“时间戳”：1123848093000}，“页面”：“55-60”，“来源”：“交叉引用”，“被引用-被计数”：0，“标题”：[“Shepherdson证明的注释”]，“前缀”：“10.1007”，《卷》：“23”，“作者”：[{“给定”：“T.B.”，“家族”：“弗拉纳根”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“297”“，”引用“：[{”键“：”BF02023012_CR1“，“doi断言者”：“crossref”，“first page”：“393”，“doi”：“10.2307\/2272162”，“volume”：“40”，“author”：“T.B.Flannagan”，“year”：“1975”，“nonstructured”：“Flannagan，T.B.：关于Hilbert第二个\u03b5定理的扩展。J.Symb.Logic40，393\u2013397（1975）。”，“journal title”：“J.Symb.Logic”}，{“key”：“BF02023012_CR2”，doi断言者”：“”交叉引用“，“首页”：“257”，“DOI”：“10.1016\/S0049-237X（08）70896-6”，“卷标”：“逻辑研究，第84卷。集合与类（关于Paul Bernays的工作）”，“作者”：“T.B.Flannagan”，“年份”：“1976年”，“非结构化”：“Flannagon，T.B.：Mostowski定理的一个新的有限证明。收录：M\u00fcller，G.H.（编辑）：《逻辑研究》，第84卷。《布景与课堂》（Paul Bernays作品），第257\u2013277页。阿姆斯特丹，纽约，牛津：North-Holland 1976。“}，{“key”：“BF02023012_CR3”，“unstructured”：“Leisenring，A.C.：数理逻辑和希尔伯特\u03b5-符号，第142页。纽约：Gordon和Breach。}，{“key”：“BF02023012_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Shepherdson，J.C.：数论片段的非标准模型。摘自：Addison，J.W.，Henkin，L.，Tarski，A.（编辑）：《逻辑研究》。模型理论，第342\u2013359页。1970年伯克利1963年国际研讨会论文集。“，”DOI“：”10.1016\/B978-0-7204-2233-7.50037-X“}，{”key“：”BF02023012_CR5“，”volume-title“：”数理逻辑“，”author“：”J.R.Shoenfield“，”year“：”1967“，”unstructured“：”Shoenfiell，J.R.：数学逻辑。Reading，MA:Addison-Wesley 1967。“}”，“container-title”：[“Archive f\u00fcr Mathematische Logik und Grundlagenforschung“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/BF02023012.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“http://\/link.springer.com/article\/10.1007\/BF02023012\/fulltext.html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\-link.springer.com/content\/pdf\/10.10007\/BF0223012“，”内容类型“：”unspecified“，”content-version”：“vor”，“intended_application”：“相似性检查”}]，“存放“：{”date-parts“：[[2020,4,8]]，“date-time”：“2020-04-08T22:55:26Z”，“timestamp”：1586386526000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/BF02023012”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[[1983,12]}，“：”1“，”published-print“：{”date-parts“：[[1983,12]]}}，”alternative-id“：[”BF02023012“]，”URL“：”http://\/dx.doi.org\/10.1007\/BF02023012 3,12]]}}