Model theory of $\mathrm{C}^*$-algebras
We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic.
math.LO↗
arXiv subjects
B. Hart
Publications and source records attributed to B. Hart.
arXiv subjects
Publications and source records attributed to B. Hart.
We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic.