丹尼尔·蒙迪奇 （C^*）-代数的抽象模型理论和网：非交换插值和保持性质。 （英语） Zbl 0581.03032号 模型和集合，程序。逻辑学院，亚琛1983年，第一部分，法律。数学笔记。1103, 351-377 (1984). [关于整个系列，请参见Zbl 0547.00008号.]在他的论文“抽象模型理论中的逆拓扑系统和紧性”（发表在J.Symb.Logic中）中，作者证明了可数生成逻辑是紧的，只要它在逆极限运算下是连续的。因此，在本文中，作者仅限于紧致逻辑；对于包含所指向的每一组类型，都构造了阿贝尔代数网。从统计独立性和可加性的角度，给出了克雷格插值、罗宾逊一致性和费费曼-沃特保持等模型理论性质的等价（C^*）-代数公式。后一种性质在代数量子场论和量子统计力学中很常见，其中C^*-代数网络起着基础性的作用。在论文的最后一节，以及他在《代数》98，76-81（1986）和《函数分析》65，15-63（1986）中的论文中，作者将注意力集中在AF\（C^*\）-代数上，将其作为描述紧致逻辑从交换Stone空间到非交换Stone空间转换的一种手段。事实上，利用Grothendieck函子（K_0）可以得出，二值逻辑代表可交换AF（C^*）-代数，而无穷值逻辑代表非交换AF代数。 引用于1审查引用于2文件 理学硕士： 03C95号 抽象模型理论 03C40号 插值、保存、可定义性 46升05 代数的一般理论 46米40 泛函分析中的归纳极限和投影极限 03B05号 经典命题逻辑 03B50号 多值逻辑 81T05号 公理量子场论；算子代数 82B10型 量子平衡统计力学（通用） 关键词：紧凑逻辑;交换代数的网;克雷格插值;罗宾逊一致性;Feferman-Vaught保存;统计独立性;可加性;代数量子场论;量子统计力学;AF\（C^*\）-代数;非交换Stone空间;格罗森迪克函子;二值逻辑;无限值逻辑 引文：Zbl 0547.00008号 PDF格式BibTeX公司 XML格式