74 citations · 280 across the 32 of their papers we have counts for
Showing 2012Show all
3 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★ 31 cited
Quasiminimal structures and excellence
Martin Bays, Bradd Hart, Tapani Hyttinen +2
We show that the excellence axiom in the definition of Zilber's quasiminimal excellent classes is redundant, in that it follows from the other axioms. This substantially simplifies…
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…