papers
Publications (18)
math.LO1993
Models with second order properties, V: A General principle
Bradd Hart, Claude Laflamme, Saharon Shelah
math.OA2012
Model theory of operator algebras I: Stability
Ilijas Farah, Bradd Hart, David Sherman
math.LO2016
Metric logical categories and conceptual completeness for first order continuous logic
Jean-Martin Albert, Bradd Hart
math.OA2013
Amalgamating R^Ï-embeddable von Neumann algebras
Ilijas Farah, Isaac Goldbring, Bradd Hart
math.LO2016
Fraïssé limits of C*-algebras
Christopher J. Eagle, Ilijas Farah, Bradd Hart +3
math.LO2013
Quasiminimal structures and excellence
Martin Bays, Bradd Hart, Tapani Hyttinen +2
math.OA2011
Model theory of operator algebras III: Elementary equivalence and II_1 factors
Ilijas Farah, Bradd Hart, David Sherman
math.LO2012
The theory of tracial von Neumann algebras does not have a model companion
Isaac Goldbring, Bradd Hart, Thomas Sinclair
math.OA2013
A computability-theoretic reformulation of the Connes Embedding Problem
Isaac Goldbring, Bradd Hart
math.LO1990
Categoricity over P for first order T or categoricity for phi in L_{omega_1 omega} can stop at aleph_k while holding for aleph_0, ..., aleph_{k-1}
Bradd Hart, Saharon Shelah
math.LO2016
On the theories of McDuff's II$_1$ factors
Isaac Goldbring, Bradd Hart
math.LO2012
Omitting types and AF algebras
Kevin Carlson, Enoch Cheung, Ilijas Farah +5
math.OA2012
Countable saturation of corona algebras
Ilijas Farah, Bradd Hart
math.LO2013
Model theory of operator algebras II: Model theory
Ilijas Farah, Bradd Hart, David Sherman
math.OA2013
Existentially closed II_1 factors
Ilijas Farah, Isaac Goldbring, Bradd Hart +1
math.LO2017
Explicit sentences distinguishing McDuff's II$_1$ factors
Isaac Goldbring, Bradd Hart, Henry Towsner
math.LO2000
The uncountable spectra of countable theories
Bradd Hart, Ehud Hrushovski, Michael C. Laskowski
math.LO2016
Relative commutants of strongly self-absorbing C*-algebras
Ilijas Farah, Bradd Hart, Mikael Rørdam +1