{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,6,12]，“日期-时间”：“2022-06-12T21:19:27Z”，“时间戳”：1655068767352}，“引用-计数”：39，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“日期时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000｝，“内容版本”：“未指定”，“延迟天数”：2568，“URL”：“https://www.cambridge.org/core\/terms”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“J.symb.log.”]，“已发布的印刷品”：｛“日期部分”：[[2007,3]]｝，“摘要”：“摘要<\/jats:title>图灵学位d为如果每个完全可判定（CD）理论都有一个d-可判定同质模型即原理图D类e<\/jats:sup>()有学位d<\/jats:bold>。根据Macintyre和Marker的结果，每个PA度（即Peano算术的完全扩展的每个度）都是齐次边界。我们证明了度实际上是齐次有界的当且仅当<\/jats:italic>为PA学位时。我们通过证明存在单一CD理论来做到这一点T<\/jats:italic>这样T<\/jats:italic>有一个PA<\/jats:bold>度<\/jats:p>“，”DOI“：”10.2178\/jsl\/1174668397“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:24:33Z“，”timestamp“：1198081473000}，”page“：“305-323”，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“绑定同质模型”]，“前缀”：“10.1017”，“卷”：“72”，“作者”：[{“家庭”：“Barbara F.Csima”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Valentina S.”，“family”：“Harizanov”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Denis R.”，“family”：“Hirschfeldt”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Robert I.”，“family”：“Soare”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“56”，“published online”：｛“date parts”：[[2014,3,1 2]]]｝，“reference”：[{“key”：“S0022481200005612_ref039”，“首页”：“301\u2013321”，“volume-title”：“数学基础研讨会论文集：无限论方法”，“author”：“Vaught”，“year”：“1961”}，{“key”：f035英寸，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-59971-2”}，{“key”：“S0022481200005612_ref032”，“first page”：”117\u2013121“，“volume-title”：“递归函数理论”，“author”：“Scott”，“year”：“1962”}、{“key”：，{“key”：“S0022481200005612_ref029”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/BF02757002”}，{“key”：“S0022481200005612_ref028”，“首页”：“507\u2013532”，“volume-title”：“可计算性理论手册”，“author”：“Millar”，“year”：“1999”}key“：”S0022481200005612_ref026“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1016\/0003-4843（78）90030-X”}，{“key”：“S0022481200005612_ref025”，“volume-title”：“模型理论：简介”，“author”：“Marker”，“year”：“2002”}“}，{”键“：“S0022481200005612_ref022”，“unstructured”：“Lange K.and Soare R.I.，Vaughtian模型的可计算内容，待显示。”}，{“key”：“S0224812000056 12_ref02”，“非结构化”：“Lange K.and Soare R..I.，均质模型的计算能力，待显示”}、{“密钥”：“SO0022481120005612_ref020”，“无结构”：“Lange K.，齐次模型的度谱，即将出现。”：“S0022481200005612_ref016”，“首页”：“33\u201356”，“文章标题”：“理论的类别和程度”，“卷”：“173”，“作者”：“乔库什”，“年份”：“1972”，“期刊标题”：《美国数学会报》}，{“key”：“S0224812000056 12_ref01”，“doi-asserted-by”：“publisher”，”doi“10.2140\/pjm.1972.40.605”}，}：“S0022481200005612_ref013”，“首页”：“1495\u20131498”，“文章标题”：“可计算树、素数模型和相对决策性”，“卷”：“134”，“作者”：“Hirschfeldt”，“年份”：“2006”，“期刊标题”：“美国数学学会会刊”}，｛“密钥”：“S0022481200005612_ref011”，“首页”：“305\u2013309”，“卷”：“39”，“作者”：“Harrington”，“year”：“1974”，“journal-title”：“Recurrively presentable prime models”}，{“key”：“S0022481200005612_ref008”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/BF02219289“}，”{“key”：“SO0022481120005612_ref007”，‘doi-assert-by’：“publister”，“doi”：“10.1007\/BF01669834”}、{“key”：”S0022482120005612_ref006“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF01674776”}，{“key”：“S0022481200005612_ref005”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/9781-4615-4305-3“}”，{”key“：”S0022481 200005612_ ref002“，”volume-title“：”模型理论“，”author“：”Chang“，”year“：”1990“}，”{“key”：”S0224812000056/12_ref001“，”volume-titel“：”可计算结构和超写数学等级“，”作者“：”灰烬“，”年份“：“2000”}，{“key”：“S0022481200005612_ref030”，“首页”：“73\u201378”，“文章标题”：“关于给定幂次的齐次模型的数量”，“卷”：“5”，“作者”：“Morley”，“年份”：“1967”，“期刊标题”：《以色列数学杂志》}：“Lange K.，0-基齐次定界度的一个表征，即将出现。”}，{“key”：“S0022481200005612_ref038”，“first page”：”270“，”article-title“：”Non-Archimedean models for algorithm“，”volume“：”6“，”author“：”Tennebaum“，”year“：”1959“journal-title”：“Notices of the American Mathematical Society”}“，{”key“：“S004120005612_ref034”，“首页”：“631\u2013652”，“卷标”：“数理逻辑手册”，“作者”：“辛普森”，“年份”：“1977”}，{“键”：“S0022481200005612_ref037”，“卷标”：《可计算性理论与应用》，“作者“：“索尔”}“密钥”：“S0022481200005612_ref012”，“非结构化”：“Harris K.，边界饱和模型，即将出现。”}，{“key”：“S0022481200005612_ref009”，“first page”：”3\u2013114：“2004”，“期刊标题”：“素数模型的度谱”}，｛“键”：“S0022481200005612_ref004”，“首页”：“1117\u20131142”，“卷”：“69”，“作者”：“Csima”，“年份”：“2004”，“期刊标题”：“有界素数模型”}，｛“键”：“S0022481200005612_ref018”，“首页”：“1034\u20131042”，“卷”：“51”，“作者”：“Knight”，“年份”：“1986”，“期刊标题”：“以订单跳转形式编码的学位”}，{“key”：“S0022481200005612_ref033”，“首页”：“233\u2013237”，“卷”：“25”，“作者”：“Shoenfield”，“年份”：“1960”，“journal-title”：“模型的学位”{key“：”S0022481200005612_ref014“，”doi-asserted-by“：“publisher”，“DOI”：“10.4153\/CJM-1972-113-9”}]，“container-title”：[“Journal of Symbolic Logic”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005612”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”“}]，“存放”：{“日期-部件”：[[2019,5,2]，“日期-时间”：“2019-05-02T00:10:51Z”，“时间戳”：1556755851000}，“分数”：1，“资源”：{“主要”：}“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005612\/type\/journal_article”}}，”副标题“：[]，”发布“：{”日期-部件“：[[2000 7,3]]}，“参考人数”：39，“新闻发布”用法：{“issue”：“1”，“published-print”：{”date-parts“：[2007,3]]}}，”alternative-id“：[”S0022481200005612“]，”URL“：”http://\/dx.doi.org\/10.2178\/jsl\/1174668397“，”relation“：{}，“ISSN”：[”0022-4812“，”1943-5886“]，“ISSN-type”：[{“value”：“0022-481”，”type“：”print“}，{“值”：“1943-5886”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2007,3]]}}