1 citations · 2 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2012★ 1 cited
Omitting types and AF algebras
Kevin Carlson, Enoch Cheung, Ilijas Farah +5
We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.
math.LO2012★ 1 cited
The theory of tracial von Neumann algebras does not have a model companion
Isaac Goldbring, Bradd Hart, Thomas Sinclair
In this note, we show that the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fact that the theory of any locally universal, McDu…