{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,13]]，“日期-时间”：“2024-09-13T18:10:05Z”，“时间戳”：1726251005740}，“参考-计数”：6，“出版商”：“Springer Science and Business Media LLC”：“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\/bf02023013”，“type”：“”journal-article“，”created“：{”date-parts“：[[2005,8,12]]，“日期-时间”：“2005-08-12T08:01:33Z”，“时间戳”：1123833693000｝，“页面”：“61-64”，“来源”：“交叉引用”，“被计数引用”：14，“标题”：[“罗宾逊本质上不可判定理论的变体R”]，“前缀”：“10.1007”，“卷”：“23”，“作者”：[{“给定”：“詹姆斯·P”，“家族”：“琼斯”，“序列”：“第一”，“隶属关系”：[]｝，{“给定”：“约翰·C”，“家族”：“Shepherdson”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“BF02023013_CR1”，“doi-asserted-by”：“crossref”，”first page“：”37“，”doi“：”10.1007\/BF01977641“，”volume“：“5”，“author”：“A.Ehrenfeucht”，“year”：“1960”，“unstructured”：“Ehrenfeucht，A.，Feferman，S.：形式理论中递归可枚举集的可表示性。Arch.math.Logik5，37\u201341（1960）”，“journal-title”：“Arch.mathe.Logik”}，{“key”：“BF02023013_CR2”，“doi-asserted-by”：“crossref”，“first-page”：“98”，“doi”：“10.2307\/2266510”，“volume”：《14》，“author”：“J.Robinson”，“year”：“1949”，“unstructured”：“Robinson，J.：算术中的可定义性和决策问题。J.Symb.Logic14，98\u2013114（1949）。”，“日志标题”：“J.Symp.Logic”}，{“键”：“BF02023013_CR3”，“doi-asserted-by”：“crossref”，“首页”：“119”：“Shepherdson，J.C.：形式理论中递归可枚举集的表示性。Arch.math.Logik5，119\u2013127（1960）。”，“期刊标题”：“Arch.mathe.Logik”}，{“key”：“BF02023013_CR4”，“first page”：《53》，“volume-title”：“Undecitable theorys”，“author”：“A.Tarski”，“year”：“1953”，“unstructured”：“Tarski，A.，Mostowski，A.，Robinson，R.M.：无法决定的理论，第53页。阿姆斯特丹：北荷兰1953年。“}，{”键“：”BF02023013_CR5“，”首页“：”18“，”卷时间“：”科学的逻辑、方法论和哲学“，”作者“：”R.L.Vaught“，”年份“：”1962“，”非结构化“：”Vaught，R.L.：关于科巴姆关于不可判定理论的一个定理。摘自：Nagel，E.，Suppes，P.，Tarksi，a.（eds.）：《逻辑、方法论和科学哲学》，第18页。1960年国际会议记录。斯坦福，加利福尼亚州：斯坦福大学出版社1962。“}，{”key“：”BF02023013_CR6“，”unstructured“：”Dyson，V.：关于数论函数的强代表性。研究报告，休斯飞机公司，加利福尼亚州富勒顿。“}]，”container-title“：[”Archiv f\u00fcr Mathematische Logik und Grundlagenforschung“]，”original-title”：[]，“language”：“en”，“链接”：[｛“URL”：“http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF020223013.pdf”，“内容类型”：“应用程序\/pdf”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“http:\/\/link.springer.com\/article\/10.1007\/BF020223013\/fulltext.html”，“内容类型”：“text\/html”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BF02023013”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[[2019,5,13]]，“日期-时间”：“2019-05-13T18:39:56Z”，“时间戳”：1557772796000}，“分数”：1，“资源”：{“主要”：{-“URL”：“http://\/link.springer.com/10.1007\/BF02023013”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[1983,12]]}org\/10.1007\/BF02023013“，”关系“：{}，”ISSN“：[”0933-5846“，”1432-0665“]，“issn-type”：[{“value”：“0933-5846”，“type”:“print”}，{“value”：“1432-0665”，“类型”：“electronic”}]，“主题”：[]，“published”：{“date-parts”：[[1983,12]]}}}