Model theory of operator algebras II: model theory I Farah, B Hart, D Sherman
Israel Journal of Mathematics 201, 477-505, 2014
154 * 2014 Coordinatisation and canonical bases in simple theories B Hart, B Kim, A Pillay
The Journal of Symbolic Logic 65 (1), 293-309, 2000
127 2000 Model Theory of -Algebras I Farah, B Hart, M Lupini, L Robert, A Tikuisis, A Vignati, W Winter
American Mathematical Society, 2021
115 * 2021 Model theory of operator algebras I: Stability I Farah, B Hart, D Sherman
Bulletin of the London Mathematical Society 45 (4), 825-838, 2013
110 2013 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} B Hart, S Shelah
arXiv preprint math/9201240, 1990
89 1990 Models with second order properties V: A general principle S Shelah, C Laflamme, B Hart
Annals of Pure and Applied Logic 64 (2), 169-194, 1993
82 * 1993 Model theory of operator algebras III: elementary equivalence and II1 factors I Farah, B Hart, D Sherman
Bulletin of the London Mathematical Society 46 (3), 609-628, 2014
76 2014 The uncountable spectra of countable theories B Hart, E Hrushovski, MC Laskowski
Annals of Mathematics, 207-257, 2000
55 2000 Countable saturation of corona algebras I Farah, B Hart
arXiv preprint arXiv:1112.3898, 2011
54 2011 Quasiminimal structures and excellence M Bays, B Hart, T Hyttinen, M Kesälä, J Kirby
Bulletin of the London Mathematical Society 46 (1), 155-163, 2014
41 2014 Omitting types and AF algebras K Carlson, E Cheung, I Farah, A Gerhardt-Bourke, B Hart, L Mezuman, ...
Archive for Mathematical Logic 53, 157-169, 2014
39 2014 Existentially closed II_1 factors I Farah, I Goldbring, B Hart, D Sherman
arXiv preprint arXiv:1310.5138, 2013
38 2013 The theory of tracial von Neumann algebras does not have a model companion I Goldbring, B Hart, T Sinclair
The Journal of Symbolic Logic 78 (3), 1000-1004, 2013
35 2013 Fraïssé limits of C*-algebras CJ Eagle, I Farah, B Hart, B Kadets, V Kalashnyk, M Lupini
The Journal of Symbolic Logic 81 (2), 755-773, 2016
33 2016 The classification of excellent classes R Grossberg, B Hart
The Journal of Symbolic Logic 54 (4), 1359-1381, 1989
27 1989 Relative commutants of strongly self-absorbing -algebras I Farah, B Hart, M Rørdam, A Tikuisis
Selecta Mathematica 23 (1), 363-387, 2017
25 2017 Computability and the Connes embedding problem I Goldbring, B Hart
Bulletin of Symbolic Logic 22 (2), 238-248, 2016
25 * 2016 On the Theories of McDuff’s II Factors I Goldbring, B Hart
International Mathematics Research Notices 2017 (18), 5609-5628, 2017
22 2017 Vaught’s conjecture for varieties B Hart, S Starchenko, M Valeriote
Transactions of the American Mathematical Society 342 (1), 173-196, 1994
21 1994 Universal covers of commutative finite Morley rank groups M Bays, B Hart, A Pillay
Journal of the Institute of Mathematics of Jussieu 19 (3), 767-799, 2020
18 * 2020