1 citations · 2 across the 3 of their papers we have counts for
3 papers
math.OA2013
Amalgamating R^ω-embeddable von Neumann algebras
Ilijas Farah, Isaac Goldbring, Bradd Hart
We observe how a classical model-theoretic fact proves the existence of many strong amalgamation bases for the class of R^ω-embeddable von Neumann algebras, where R is the hyperfin…
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…