{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,6,5]]，“日期-时间”：“2024-06-05T14:19:45Z”，“时间戳”：1717597185404}，“参考-计数”：30，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[{“开始”：{'日期-部件“：[2014,3,12]]，“时间“：”2014-03-12T00:00:00Z“，”时间戳“：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2202，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2008,3]}”，“abstract”（摘要）：“摘要<\/jats:title>逻辑通过广义形式的计数量词扩展一阶逻辑（u201c满足u2026的元素数量属于集合C<\/jats:italic>\u201d）。这个逻辑是针对具有\u03c9<\/jats:italic>-自动演示。如果一阶逻辑被无限量词扩展，则任何此类结构的结果理论都是可判定的[6]。结果表明，与自动结构[21]一样，模计数量词以及无限基数量词（\u201c这里有许多满足\u2026\u201d）的元素导致了可判定的理论。关于具有内射的有界度结构\u03c9<\/jats:italic>-自动呈现，片段只包含有效量词的被证明是可判定的，并给出了该判定的基本算法。两种假设(\u03c9<\/jats:italic>-自动性和有界度）是保持此结果所必需的<\/jats:p>“，”DOI“：”10.2178\/jsl\/1208358745“，”type“：”journal-article“，”created“：{”date-parts“：[[2008,10,14]]，”date-time“：”2008-10-14T15:19:02Z“，”timestamp“：1223997542000}，”page“：“129-150”，“source”：“Crossref”，“is-referenced-by-count”：15，“title”：[“First-order and counting theorys of\u03c9<\/i>-自动结构“]，”前缀“：”10.1017“，”卷“：”73“，”作者“：[{”给定“：”迪特里希“，”家族“：”库斯克“，”序列“：”第一“，”从属“：[]}，{”给出“：”马库斯“，”家庭“：”洛里“，”顺序“：”附加“，”隶属“：[]}]，”成员“：”56“，”在线发布“：{”日期段“：[2014,3,12]]}“引用”：[{“key”：“S0022481200004643_ref020”，“首页”：“168”，“卷标题”：“IEEE计算机科学逻辑研讨会（LICS）论文集”，“作者”：“Khoussainov”，“年份”：“2003”｝，｛“key”：“S0022481200004643_ref022”，“doi断言者”：“publisher”，“doi”：“10.1007\/978-3-540-39813-4_24”｝，｛“key”：“S0022481200004643_ref018”，“doi断言者”：“publisher”，“doi”：“10.1007\/3-5640-60178-3_93”｝，｛key“：”S0022481200004643_ref016“，”doi-asserted-by“：”publisher“，”doi“：”10.1002\/malq.200410013“}，{“key”：“S0022482120004643_ref017”，“unstructured”：“Khoussainov B.，Hjorth G.，Montalban A.，and Nies A.，From automatic structures to Borel structures.2007，手稿。”}、{“密钥”：“SO002248120004643_ref027”、“volume-title”：“无限单词”，“卷”：“141“，“author”：“Perrin”，“year”：“2004”}，{“key”：“S0022481200004643_ref023”，“doi-asserted-by”：“publisher”，”doi“：”10.1007 \/11690634_22“}，}”key“：”S0022481 200004643_ ref024“，”doi-assert-by“：”crossref“，”volume-title“：”Algebraische Codierungtheorie“，”author“：”Lindner“，”year“：”1977“，”doi:“”10.1515\/9783112546369“}，{“密钥”：“S0022481200004643_ref008”，“doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0022-0000（74）80051-6“}，{“key”：“S0022481200004643_ref015”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/LICS.2002.1029832”}，“key“：key“：”S0022481200004643_ref026“，”volume-title“：”计算复杂性“，”author“：”Papadimitriou“，”year“：”1994“}，{”key“：”S0022481200004643_ref013“，”doi-asserted-by“：”publisher“，“doi”：“10.1017\/CBO9780511551574”}，}“key”：“S0022482120004643_ref001”，“unstructured”：“B\u00e1r\u00e1'V.，无限结构的自动表示，博士论文，RWTH Aachen，Fakult\u00e 4t f\u00fcr Mathematik，Informatik und Naturwissenschaften，2007年。“}，{”key“：”S0022481200004643_ref002“，”doi-asserted-by“：”publisher“，“，”作者“：”B\u00e8s”，“年份”：“1997”，“期刊标题”：“Biichi算术和Cobham-Semenov定理的不可判定扩展”}，{“key”：“S0022481200004643_ref004”，“volume-title”：“自动结构”，“author”：“Blumensath”，“year”：“1999”}IEEE计算机科学逻辑研讨会论文集”，“作者”：“Blumensath”，“年份”：“2000”}，{“密钥”：“S0022481200004643_ref028”，“首页”：“1”，“卷时间”：“ACM计算理论研讨会论文集（STOC）”，“著者”：“Stockmeyer”，“年”：“1973”}10.1016\/0304-3975（82）90042-1“}，{“key”：“S0022481200004643_ref006”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/s00224-004-1133-y“}、{“密钥”：“SO02248120000460343_ref007”、“doi-sserted-by“：”publisher“，”doi:“10.1002\/malq.19600060105”}，“key“：”S0022482200004643_ ref029“，”doi-assert-by“y“：”publisher“，”doi“：”10.1016\/j.ipl.2006.06.011“}，{”key“：”S0022481200004643_ref010“，“doi-asserted-by”：“crossref”，“volume-title”：“组中的字处理”，“author”：“Epstein”，“year”：“1992”，“doi”：“10.1201\/9781439865699”}，{“key”：“S0022481 200004643_ ref011”，《首页》：“105”，“volume-titel”：“Logic Colloquium”81 2481200004643_ref012“，”首页“：”31“，”volume-title“：“数学、数学机器及其应用基础学术讨论会（Tihany，1962）”，“作者”：“H\u00e4rtig”，“年份”：“1965”}，{“键”：“S0022481200004643_ref019”，“首页”：“467”，“文章-title”：“一元字母表上自动显示的图形”，“卷”：“6”，“作家”：“库萨诺夫”，“年”：“2001”，“journal-title“：《自动化、语言和组合数学杂志》}，{“key”：“S0022481200004643_ref021”，“first page”：《440》，“volume-title”：“计算机科学理论方面（STACS）研讨会论文集”，“volution”：”2996“，“author”：“Khoussainov”，“year”：“2004”}，}“keys”：“SO002248120004643_ef025”，“首页”：“344”，“volume-title:”第十届程序设计、人工智能和推理逻辑国际会议论文集”，“卷”：“2850”，“作者”：“洛伊”，“年份”：“2003”}，{“关键字”：“S0022481200004643_ref030”，“首页”：“133”，《卷-时间》：“理论计算机科学手册”，“作家”：“托马斯”，“年代”：“1990”}]，“容器-时间”：[“符号逻辑杂志“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200004643“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：”{“date-parts”：[2023,5,20]]，“date-time”：“”2023-05-2T11:57:27Z“，”时间戳“：1684583847000}，”分数“：1，”资源“：{”主要“：{”URL“：”https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200004643\/type\/journal_article“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2008,3]]}，‘references-count’：30，‘journal-issue’：{‘issued’：“1“，”published-print“：{”date-parts“：[[2008,3]]}”}，“alternative-id”：[“S0022481200004643”]，“URL”：“http://\/dx.doi.org\/10.2178\/jsl\/1208358745”，“relationship”：{}，“ISSN”：【“0022-4812”，“1943-5886”】，“ISSN-type”：[{“value”：“0022-48012”，”type“：”print“}，{“value”：“1943-5.886”，“type”:“electronic”}]，“subject”：[]，“published”：{“日期部分”：[[2008,3]]}}}