{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,2,7]]，“日期-时间”：“2023-02-07T14:55:45Z”，“时间戳”：1675781745605}，“参考-计数”：13，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“3”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00: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>在本文中，我们回答了可计算模型理论中的以下众所周知的开放问题。是否存在可计算的not\u21350<\/jats:sub>-范畴饱和结构，具有唯一的可计算等位线类型？我们的答案是肯定的，并使用了基于Kolmogorov复杂性的构造。通过这种结构的变化，我们还提供了一个\u2135的示例1</jats:sub>-分类，但不是u21350<\/jats:sub>-类别饱和-具有唯一可计算同构类型的结构。此外，使用构造我们给出了一个\u2135的示例1</jats:sub>-分类，但不是u21350</jats：子范畴理论，其唯一的不可计算模型是素模型<\/jats:p>“，”DOI“：”10.2178\/jsl\/1191333855“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:25:04Z“，”timestamp“：1198081504000}，”page“：“1041-1054”，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“Kolmogorov复杂性在可计算模型理论中的应用”]，“前缀”：“10.1017“，”卷“：”72“，”author“：[{”given“：”Bakhadyr“，”family“：”Khousainov“，”sequence“：”first“，”affiliation“：[]}，”givens“：”Pavel“，”家庭“：”Semukhin“，”序列“：”additional“，”filiation”：[]{，”fixed“：”Frank“，]}，“引用”：[{“键”：“S0022481200005211_ref012“，“卷时间”：“经典递归理论”，“作者”：“Odifreddi”，“年份”：“1989”}，{“密钥”：“S002248.1200005211_ ref010”，”卷时间“：“模型理论：简介”，“作家”：“标记”，“年”：“2002”}}，{“键”：S0022481200005211_ref008“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF02367027”}，{“key”：“S0022482120005211_ref004”，”doi-assert-by“：”publisher“，”doi“：”10.1017\/CBO9780511551574“}，”{“密钥”：“SO0022481250005211_rf003”，“}”，{“key”：“S0022481200005211_ref002”，“doi-asserted-by”：“publisher”，”DOI“：”10.1007\/s00153-005-0326-7“}，{“key”：“S0022481200005211_ref001”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3662-04978-5”}，}“keys”：“SO022481200005.211_ref011”，”DOI-assert-by“：”publisher“，”DOI“10.1090\/S0002-9947-1965-0175782-0”}，“体积-时间”：“较短模型理论”，“作者”：“霍吉斯”，“年份”：“1997”}，{“key”：“S0022481200005211_ref006”，“doi-asserted-by”：“crossref”，《首页》：“165”，”doi“：”10.1305 \/ndjfl \/1039724885“，”article-title“：”少模型理论的可计算模型“，”volume“：”38“，”author“：”Khoussainov“，”year“1997”，“journal-title”：“Notre Dame journal of Formal Logic”}，{”key“：“S0224812000052 11_ref013”，“doi-asserted-by“：”publisher“，“DOI”：“10.1007\/978-3662-02460-7”}，{“key”：“S0022481200005211_ref007”，“DOI-asserted-by”：“publisher”，”DOI“：“10.1016\/S0168-0072（98）00049-9”}]，“container-title”：[“Journal of Symbolic Logic”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005211“，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2019,5,1]]，“日期-时间”：“2019-05-01T1:20:25Z”，“时间戳”：1556745625000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://www.cambridge.org/core\/product\/inidentifier\/S022481200005211\/type\/journal_article”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2007,9]]}，“引用计数”：13，“日志发布”：}“问题”：“3”，“发布发布”：｛“日期部件”：[[2007,9]]}，”alternative-id“：[”S0022481200005211“]，”URL“：”http://\/dx.doi.org\/10.2178\/jsl\/11191333855“，”关系“：{}，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN-type”：[{“value”：“0022-48012”，”type“：”print“}，{“值”：“1943-5886”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2007,9]]}}