{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,10,4]]，“日期-时间”：“2023-10-04T03:15:06Z”，“时间戳”：1696389306649}，“参考-计数”：19，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“2”，“许可证”：[{“开始”：{-“日期-零件”：[2014,3,12]]，“时间“：”2014-03-12T00:00:00Z“，”时间戳“：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2476，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,6]}”，“abstract”：“”摘要<\/jats:title>我们显示，对于任何序数\u03b3<\/jats:italic>\u2265 3，该类\u211c<\/jats:italic>aCA<\/jats:bold>\u03b3是伪元素，具有递归可枚举的初等理论。S公司c<\/jats:sub>K表示类成员的强子代数类K<\/jats:italic>。我们设计游戏，F类n（3\u2264）n<\/jats:italic>\u2264\u03c9），G、 原子关系代数的H<\/jats:italic>和show具有可计数的多个原子，<\/jats:p><\/jats:dispformula>用于3\u2264n<\/jats:italic><\u03c9<\/jats:italic>。我们用这些游戏来展示\u03b3<\/jats:italic>>5和任何类满足关系代数的K<\/jats:italic><\/jats:dispformula>那个K<\/jats:italic>在子代数下不是封闭的，并且不是初等的。对于无限\u03b3<\/jats:italic>，包含\u211caCA<\/jats:bold>\u03b3<\/jats:italic><\/jax:sub>\u2282S公司c<\/jats:sub>\u211caCA\u03b3是严格的<\/jats:p>对于无限\u03b3<\/jats:italic>与可数关系代数我们展示了这一点具有完整表示的当且仅当是原子的，而\u2203在F<\/jats:italic>（在())当且仅当是原子的，并且\u2208型S公司c<\/jats:sub>\u211caCA\u03b3<\/jats:italic><\/jats:p>“，”DOI“：”10.2178\/jsl\/1185803629“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:24:48Z“，”timestamp“：1198081488000}，”page“：017“，“卷”：”72“，”author“：[{”given“：”Robin“，”family“：”Hirsch“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-on-line“：{”date-parts“：[[2014,3,12]]}，”reference“：[}”key“：“S0022481200005417_ref019”，”unstructured“：”Simon A.，关系的不可表示代数，博士论文，匈牙利科学院数学研究所，布达佩斯，1997年，http://www.renyi.hu\/pub\/algebraic-logic\/simthes.html。“｝，｛”key“：”S0022481200005417_ref018“，”doi断言者“：”publisher“，”doi“：”10.1023\/A:10124472223176“｝，｛”key“：”S0022481200005417_ref017“，”doi断言者“：”publisher“，”doi“：”10.1023\/A:10213687133305“｝，｛”key“：”S0022481200005417_ref016“，”首页“：”625\u2013660“，”文章标题“：”整洁还原类不是初等的“，”volume“：“9”，“作者”：“Ahmed”，“年份”：“2001年”，“期刊标题”：“IGPL的逻辑杂志”}，{“key”：“S0022481200005417_ref012”，“volume-title”：“圆柱代数研究”，“author”：“Monk”，“year”：“1961年”}、{“key”：”S0022481 200005417_ ref007“，“unstructured”：“Maddux R.，关系代数主题，博士论文，加州大学伯克利分校，1978年。”}和{“密钥”：“S0022481200005417_ref003“，“非结构化”：“Anellis I.And Houser N.，十九世纪代数逻辑和泛代数的根源，In Andr\u00e9ka et al.[2]，pp.1\u201336.”}，{“key”：“S0022481 200005417_ ref002”，“volume-title”：“代数逻辑”，“卷”：“54”，“author”：“Andr\u00 e9ka”，“year”：“1991”}、{“key”：”S002248 120005417_ref004“，”volume-title“：”柱代数第一部分“，”author“：”Henkin“，”year“：”1971“}，{”key“：”S0022481200005417_ref015“，”doi-asserted-by“：”publisher“，”doi“：”10.1093\/jigpal\/5.4.575“}”，{“key”：“S002248.1200005417_ ref001”，“doi-assert-by”：“crossref”，“first page”：”371\u2013384“，”doi“：“10.1307\/mmj\/1029004592“，”文章标题“：”A非积积分关系代数”，“volume”：“39”，“author”：“Andr\u00e9ka”，“year”：“1992”，“journal-title”：“Michigan Mathematics journal”}，{“key”：”S0022481200005417_ref013“，”doi-asserted-by“：”publisher“，”doi“：”10.1305 \/ndjfl \/1093870384“}，”{“key”：“Hirsch”，“年份”：2002年“}，{“key”：“S0022481200005417_ref005”，“volume-title”：“圆柱代数第二部分”，“author”：“Henkin”，“year”：“1985”}，“{”key“：”S0022482120005417_ref014“，“unstructured”：“N\u00e9meti I.，自由代数与代数逻辑中的可判定性，匈牙利科学院科学博士论文，1986。”}doi-asserted-by“：”publisher“，”doi“：”10.1090\/S0002-9947-1991-1049616-1“}，{”key“：”S0022481200005417_ref009“，”unstructured“：”Maddux R.，关系代数、有限维柱体代数及其互连的入门课程。在Andr\u00e9ka等人[2]，第361\u2013392页。“}”，{“key”：“S0022482120005417_ref008”，“doi-assert-by”：“publisher“，”DOI“：”10.1007\/BF01182461“}，{“key”：“S0022481200005417_ref010”，“首页”：“421\u2013455”，“article-title”：“关系演算发展和公理化中的关系代数的起源”，“volume”：”3\/4“，“author”：“Maddux”，”year“1991”，“journal-title“：”Studia Logica“}]，“containerti-title”：[“journal of Symbolic Logic”]，“original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005417“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,8,31]]，”date-time“：“2021-08-31T00:55:06Z”，“timestamp“：1630371306000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005417\/type\/journal_article”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2007年6月6日]]}，日期部分“：[[2007,6]]}}，”alternative-id“：[”S0022481200005417“]，“URL”：“http:\/\/dx.doi.org/10.2178\/jsl\/1185806629”，“relationship”：｛｝，“ISSN”：[“0022-4812”，“1943-5886”]，“ISSN type”：[｛“value”：“0022-4812”，“type”：“print”｝，｛“value”：“1943-5886”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2007,6]]｝｝