首页/论文/1602.08072

arXiv 1602.080722016-02math.LOmath.OA

$\mathrm{C}^*$ -代数的模型论

Model theory of $\mathrm{C}^*$-algebras

I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati, W. Winter

备注：: To appear in Memoirs of the Amer. Math. Soc

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们利用连续逻辑的工具对$\mathrm{C}^*$ -代数进行了系统的模型论研究。

英文摘要：

We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

将$\mathrm{C}^*$ -代数嵌入Calkin代数

Embedding $\mathrm{C}^*$-algebras into the Calkin algebra

每个$\mathrm{C}^*$ -代数，不管它的密度特征如何，都可以嵌入到Calkin代数中，得到宇宙的一个力迫扩张，而不需要坍缩任何基数。

2019-02-25math.LOmath.OA

关于$\mathrm{C}^*$ -代数作为算子系统的公理化

On the axiomatizability of $\mathrm{C}^*$-algebras as operator systems

证明了酉$\mathrm{C}^*$ -代数类是算子系统语言中的初等类。结果，我们得到在算子系统的语言中存在一个可定义的谓词，它定义了任何$\mathrm{C}^*$ -代数中的乘法。此外，我们还证明了上述类是$\forall\exists\forall$ -可公理化的，但不是$\forall\exists$ -可公理化的，也不是$\exists\forall$ -可公理化的.

2016-03-17math.LOmath.OA

拟迹AW*-代数的模型理论与单调完备性的绝对性

Model theory of quasitracial $\mathrm{AW}^*$-algebras and the absoluteness of monotone completeness

Iowa State University（爱荷华州立大学）

该研究建立了拟迹AW*-代数的模型理论，将单调完备性猜想有限情形归约为II₁型AW*-因子的单调序列完备性，证明相关问题等价于算术Π⁰₂语句，并解答了实AW*-代数的若干开放问题。

2026-10-14math.LOmath.OA

每个 $\mathrm{AW}^*$-代数都是正规的

Every $\mathrm{AW}^*$-Algebra is Normal

Iowa State University（爱荷华州立大学）

本文用集合论方法证明每个AW*-代数都是正规的，解决Wright悬置46年的问题，并建立因子情形到一般情形的力迫传递原理。

2026-09-10math.LOmath.OA

可分C* 代数的可定义$\mathrm{K}$ -同调

Definable $\mathrm{K}$-homology of separable C*-algebras

本文证明了可分C* 代数的$\mathrm{K}$ -同调群可以用额外的描述性集合论信息来充实，并被视为可定义群.利用泛系数定理的一个可定义的版本，我们证明了相应的可定义的$\mathrm{K}$ -同调是一个比纯代数的更精细的不变量，即使是当限制到UHF C* 代数-代数类，或限制到其谱是$\mathbb{R}^{3}$的$1$ -维连通子空间的有单位的交换C* 代数-代数类.

2020-10-21math.KTmath.LOmath.OA

逻辑与$\mathrm{C}^*$ -代数：连续代数理论中的集合论二分法

Logic and $\mathrm{C}^*$-algebras: set theoretical dichotomies in the theory of continuous quotients

给定一个非酉$\mathrm{C}^*$ -代数$A$，构造它的冠代数$\mathcal M(A)/A$ .这是拓扑空间的Čech-Stone剩余的非交换类似物。我们分析了这些代数的两个方面：第一个是给定的假设CH，另一个出现时，强迫公理假设。在它们的第一个面，冠$\mathrm{C}^*$ -代数有一个大的自同构自同构群，其中包括不可定义的。第二个面是强制公理面;这里冠$\mathrm{C}^*$ -代数的自同构群是尽可能刚性的，只包括可定义的元素

2017-06-20math.GNmath.LOmath.OA

更多相关论文收起更多论文

$\u4e2aC^*$-代数的可计算$K$-理论：UHF代数

Computable $K$-theory for $\mathrm{C}^*$-algebras: UHF algebras

本研究开启$\u4e2aC^*$-代数$K$-理论的有效内容研究，证明可计算函子可关联代数与其$K$-群的可计算枚举表示，在UHF代数情形下得到更强的可计算性结果及等价刻画，并证明UHF代数的可计算范畴性。

2025-01-15math.LOmath.OA

infinite dimensional自由序列集代数中的原子

Atoms in infinite dimensional free sequence-set algebras

A. Tarski证明了当$m\ge 1$是有限基数，$α$是任意序数时，维数为$α$的柱形代数类$\mathrm{CA}_α$的m-生成自由代数恰好包含$2^m$零维原子.他解释说，当$α$无限大时，就不再有原子了。这一猜想尚未得到证实或否认。本文证明了若$\mathrm{CA}_α$被$\mathrm{D}_α$，$\mathrm{G}_α$取代，Tarski猜想成立，但$m$生成的自由$\mathrm{Crs}_α$代数是无原子的.

2019-03-04math.LO

FL $_\mathrm{ew}$ -代数中的项可满足性

Term satisfiability in FL$_\mathrm{ew}$-algebras

FL $_\mathrm{ew}$ -代数通过交换和弱化形成了完整Lambek演算的代数语义。研究了FL $_\mathrm{ew}$ -项与FL $_\mathrm{ew}$ -代数之间的两种关系，即可满足性与正可满足性.对于每一个FL $_\mathrm{ew}$ -代数，它的可满足和正可满足的条款集可以被视为其存在理论的片段，我们确定和调查的补充片段的普遍理论。我们提供这些代数的特征，（积极）满足那些条款是可满足的二元布尔代数提供其语义的经典命题逻辑。在正可满足的情况下，这些代数就是非平凡弱压缩FL $_\mathrm{ew}$ -代数。在可满足的情形下，我们利用代数的另一个性质，二元同余的存在性给出了一个刻画。此外，我们认为，在FL $_\mathrm{ew}$ -代数的（正）可满足性问题是计算困难的。因此，MV-代数或BL-代数中的项可满足性领域的一些先前结果与Heyting代数中的可满足性的已知事实具有共同的基础。

2016-07-29cs.LOmath.LO