｛“状态”：“好”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,4,22]]，“日期时间”：“2024-04-22T09:15:17Z”，“时间戳”：1713777317875｝，“引用计数”：12，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[｛“开始”：｛“日期部分”：[[2014,3,12]]，“日期时间”：“2014-03-12T00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2384，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,9]}”，“abstract”：“”摘要<\/jats:title>这里我们证明如果T<\/jats:italic>和T<\/jats:italic>\u2032是强极小理论，其中T<\/jats:italic>\u2032满足a与琐事和T<\/jats:italic>没有，并且T<\/jats:italic>\u2032是模型完整的，则没有可计算的嵌入将（T）修改为Mod（T\u2032）<\/jats:italic>。使用这个，我们回答了[4]中的一个问题，表明没有可计算的嵌入VS<\/jats:italic>转换为ZS<\/jats:italic>，其中VS<\/jats:italic>是\u211a上的无限向量空间类，并且ZS是Th（\u2124，S）<\/jats:italic>。类似地，我们表明不存在可计算的嵌入ACF<\/jats:italic>进入ZS<\/jats:italic>，其中ACF是特征0的代数闭域类。：[“可计算嵌入和强极小理论“]，”前缀“：”10.1017“，”卷“：”72“，”作者“：[{”给定“：”J.“，”家族“：”Chisholm“，”序列“：”first“，”affiliation“：[]}，{”given“：”J·F“，”family“：”Knight“，”sequence“：”additional“，”从属“：[]}，”givent“：”S.56英寸published-online“：{“date-parts”：[[2014,3,12]]}，“reference”：[{“key”：“S002248120000520X_ref011”，“首页”：“901”，“卷”：“72”，“author”：“Knight”，“年份”：“2007”，“journal-title”：“Turing computable embeddings”}，{“密钥”：“SO0224812000052X_ref010”。F.，关于与有效嵌入相关的度结构的结果，预印本，{“key”：“S002248120000520X_ref005”，“doi-asserted-by”：“publisher”，”doi“：”10.1090\/S0002-9947-00-02659-3“}，{”key“：”S0022481 20000520X_ ref004“，”doi-assert-by“：”publisher“，023\/B:ALLO.0000048827.30718.2c“}，{”键“：”S002248120000520X_ref001“，“首页”：“79”，“卷”：“36”，“作者”：“鲍德温”，“年份”：“1971”，“日志标题”：“在强极小集上”}，{“键”：“S002248120000520X_ref008”，”doi-asserted-by“：”publisher“，”doi“：”10.4064\/fm170-1-2：“1989”，“新闻标题”：“可数结构类的Borel可约性理论”}，{“key”：“S002248120000520X_ref012”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2687752”}语言“：”en“，”link“：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120000520X”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}，“deposed”：{“date-parts”：[[2019,5,1]]，“date-time”：”2019-05-01T17:20:19Z“，“timestamp”：1556731219000}，”score“1”资源“：{“主”：{”URL“：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120000520X\/type\/journal_article”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2007,9]]}，”references-count“：12，”journal-issue“：{”issue“：”3“，”published-print“：”{“date-parts”：[2007,9]}}、“alternative-id”：[“S002244”8120000520X“]，”URL“：“http://\/dx.doi.org\/10.2178\/jsl\/1191333854”，“关系”：{}，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN-type”：[{“value”：“0022-48012”，”type“：”print“}，{“value”：“1943-58”，“type”:“electronic”}]，“subject”：【】，“published”：{“date-parts”：【2007，9】】}}}}