×
菲利普·斯考克罗夫特

维群和AF代数之间的一些模型理论对应。 （英语） Zbl 1241.03044号

Ann.纯粹应用。逻辑 162，第9期，755-785（2011）.
小结：如果\（mathcal A\subseteq\mathcal B\）是一阶语言\（mathcal S\）的结构，那么\（mathcal A\。1976年，Elliott证明了酉AF（“近似有限维”）代数是通过具有序单位的相应维组来划分的同构代数。本文证明了只要相应的度量结构AF代数处于相同的关系中，具有序单位的一维群在另一维群中是代数（存在）闭的。

引用于6文件

MSC公司：

03C60型 模型理论代数
20层06 有序阿贝尔群、Riesz群、有序线性空间
19公里14 \（K_0\）作为有序组，跟踪
46升80 \（K）理论和算子代数（包括循环理论）

关键词：

AF代数;维度组;代数闭的;存在闭
PDF格式BibTeX公司 XML格式引用
\textit{P.Scowcroft}，Ann.纯粹应用。逻辑162，No.9，755--785（2011；Zbl 1241.03044）
全文： 内政部

参考文献：

[1] Bennett，M.K。；Foulis，D.J.，《效应代数和非锐化量子逻辑》，Found。物理。，241331-1352（1994年）·Zbl 1213.06004号
[2] 本·亚科夫，I。；Berenstein，A。；亨森，C.W。；Usvyatsov，A.，度量结构的模型理论，（Chatzidakis，Z.；Macpherson，D.；Pillay，A.；Wilkie，A.，《模型理论及其在代数和分析中的应用》，第2卷。模型理论及其在代数和分析中的应用，第2卷，LMS讲座笔记系列，第350卷（2008），剑桥大学出版社：剑桥大学出版社，315-427·Zbl 1233.03045号
[3] Bratteli，O.，有限维代数的归纳极限，Trans。阿默尔。数学。《社会学杂志》，171195-234（1972）·Zbl 0264.46057号
[4] Bratteli，O.，近似有限维代数的结构空间，J.Funct。分析。，16, 192-204 (1974) ·兹伯利0279.46034
[5] Chang，C.C.（张建中）。；Keisler，H.J.，（《连续模型理论》，《连续模型论》，《数学研究年鉴》，第58卷（1966年），普林斯顿大学出版社：普林斯顿大学出版公司普林斯顿）·Zbl 0149.00402
[6] Gooderl，K.R.，（实代数和复代数注释。实与复代数注释，湿婆数学丛书，第5卷（1982），湿婆出版有限公司：湿婆出版公司（Nantwich）·Zbl 0495.46039号
[7] Gooderl，K.R.，（带插值的部分有序阿贝尔群。带插值的局部有序阿贝尔组，数学调查和专著，第20卷（1986年），AMS:AMS Providence）·Zbl 0589.06008号
[8] Hodges，W.（模型理论。模型理论，数学及其应用百科全书，第42卷（1993），剑桥大学出版社：剑桥大学出版社）·Zbl 0789.03031号
[9] Mal’cev，A.I.，《模型的常规产品》，（Wells，B.F.，《代数系统的元数学》，《代数系的元数学，逻辑研究和数学基础》，第66卷（1971年），北霍兰德出版公司：北霍兰德尔出版公司，阿姆斯特丹），95-113
[10] 罗德，M。；Larsen，F。；Laustsen，N.J.，（C*-代数的K-Theory导论。C*-代数学的K-Theore导论，LMS学生课本，第49卷（2000），剑桥大学出版社：剑桥大学出版社，纽约）·Zbl 0967.19001号
[11] Rose，A。；Rosser，J.B.，多值语句计算片段，Trans。阿默尔。数学。Soc.，87，1-53（1958）·Zbl 0085.24303号
[12] Schröder，E.，Vorlesungenüber die Algebra der Logik（Exakte Logik），Bd.1（2001），托姆出版社：托姆出版社布里斯托尔
[13] Scowcroft，P.，维群中的广义半空间，Ann.Pure Appl。逻辑，154，8-26（2008）·Zbl 1146.03026号
[14] P.Scowcroft，存在闭合维度组，Trans。阿默尔。数学。Soc.（出版中）。；P.Scowcroft，存在闭维群，Trans。阿默尔。数学。Soc.（出版中）·Zbl 1241.03045号
[15] Weispfenning，V.，带参数的有序阿贝尔群的存在等价性，Arch。数学。逻辑，29237-248（1990）·Zbl 0702.03013号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。