• Refereed and submitted publications

• Books

• Selected unrefereed publications

• Presentations

• I. Goldbring and B. Hart, Properties expressible in small fragments of the theory of the hyperfinite II$_1$ factor, submitted for publication, 13 pgs.

• I. Goldbring and B. Hart, Operator algebras with hyperarithmetic theory, accepted for publication in the J. of Logic and Computation,18 pgs, .

• I. Goldbring and B. Hart, The universal theory of the hyperfinite II$_1$ factor is not computable, submitted for publication, 16 pgs.

• I. Goldbring, B. Hart and T. Sinclair, Correspondences, ultraproducts and model theory, submitted for publication, 36 pgs.

• I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati and W. Winter, The Model Theory of Nuclear $\mathrm{C}^*$-algebras,  accepted for publication in the Memoirs of the AMS, 2016, 142 pgs.

• I. Goldbring and B. Hart, The almost sure theory of finite metric spaces, submitted for publication, 6 pgs.

• I. Goldbring, B. Hart and H. Towsner, Explicit sentences distinguishing McDuff's II$_1$ factors, Israel J. of Math, vol 227 (1), 2018; 365 - 377.

• I. Goldbring and B. Hart, On the theories of McDuff's II$_1$ factors, Int. Math. Res. Notices, 2017 (18),  5609--5628.

• I. Farah, B. Hart, M. Rordam and A. Tikuisis, Relative commutants of strongly self-absorbing $\mathrm{C}^*$-algebras, Selecta Math. 23 (2017), no. 1,  363--387.

• D. Caudillo Amador, B. Hart, J. Kawach and S. Kim, Appendix to "Quantifier elimination In $\mathrm{C}^*$-algebras" by C. Eagle, I. Farah, E. Kirchberg and A. Vignati, Int. Math. Res. Notices,  24, (2017)  7580--7606.
  

• C. Eagle, I. Farah, B. Hart, B. Kadets and V. Kalashnyk, Fra\"ss\'e classes of $\mathrm{C}^*$-algebras, J. Symb. Log. 81 (2016), no. 2, 755--773.

• I. Farah, B. Hart and D. Sherman, Model theory of operator algebras III, Bull. London Math. Soc. (2014) 46 (3), pgs. 609--628.

• M. Bays, B. Hart and A. Pillay, Universal covers of commutative finite Morley rank groups, Jussieu J. Math., 19 (2020), 767-799.
  

• I. Farah, I. Goldbring, B. Hart and D. Sherman, Existentially closed II_1 factors, Fund. Math., (233) 2016, pgs 173--196.

• I. Goldbring and B. Hart, A computability-theoretic reformulation of the Connes Embedding Problem, Bull. of Symbolic Logic, 22 (2016), no. 2,  238--248.

• M. Bays, B. Hart, T. Hyttinen, M. Kesala and J. Kirby, Quasiminimal classes and excellence, Bull. LMS, (2014) 46 (1) pgs.155 -- 163.
  

• K. Carlson, E. Cheung, I. Farah, A. Gerhardt-Bourke, B. Hart, L. Mezuman, N. Sequeira and A. Sherman, Omitting types and AF algebras, Arch. Math. Logic (2014) 53, (1-2), pgs. 157--169.

• I. Farah, B. Hart and D. Sherman, Model theory of operator algebras II: model theory, Israel Journal of Mathematics,  (2014), 201 (1), pgs.  477 --505.

• I. Goldbring, B. Hart and T. Sinclair, The theory of tracial von Neumann algebras does not have a model companion, Journal of Symbolic Logic, 78(3) (2013) pgs. 1000 - 1004.
  

• I. Farah, B. Hart and D. Sherman, Model theory of operator algebras I: stability, Bull. LMS (2013) 45 (4), pgs. 825 - 838.

• I. Farah and B. Hart, Countable saturation of corona algebras, C. R. Math. Rep. Acad. Sci. Canada Vol. 35 (2) 2013, pgs. 35–56.

• B. Hart and Z. Shami, On the type-definability of the binding group in simple theories,  Journal of Symbolic Logic, 70 (2005), pgs. 379 - 388. 

• B. Hart, E. Hrushovski and M.C. Laskowski, Unique decomposition in classiable theories, Journal of Symbolic Logic, 67 (2002) pgs. 61 - 68.

• A. Chowdhury, B. Hart and Z. Sokolovic, Affine covers of Lie geometries and the amalgamation property, Proceedings of the London Mathematical Society (3) 85 (2002), pgs. 513 - 563.

• B. Hart, E. Hrushovski and M.C. Laskowski, The uncountable spectra of countable theories, Annals of Mathematics, 152 (2000), pgs. 207 - 257.

• B. Hart, B. Kim and A. Pillay, Coordinatisation in simple theories, Journal of Symbolic Logic, 65 (2000), pgs. 293 - 309.

• B. Hart, Z. Sokolovic and P. Tanovic, A note on a-prime models, Journal of Symbolic Logic, 64 (1999), no. 4, pgs. 1557 - 1562.

• A. Chowdhury and B. Hart, An unclassifiable, unidimensional theory without the omitting types order property, Notre Dame Journal of Formal Logic, Dec., 1997, pgs. 93 - 103.

• B. Hart, A. Pillay and S. Starchenko, 1-based theories: the main gap for a-models. Arch. Math. Logic 34 (1995), no. 5, pgs. 285 - 300.

• B. Hart and S. Starchenko, Superstable quasi-varieties. Ann. Pure Logic 69 (1994), no. 1, pgs. 53 - 71.

• B. Hart, S. Starchenko and M. Valeriote, Vaught's conjecture for varieties. Trans. Amer. Math. Soc. 342 (1994), no. 1, pgs. 173 - 196.

• B. Hart and S. Starchenko, Addendum to: "A structure theorem for strongly abelian varieties with few models" , J. Symbolic Logic 58 (1993), no. 4, pgs. 1419 - 1425.

• S. Shelah, C. Laflamme and B. Hart, Models with order properties V: A general principle. Ann. Pure Appl. Logic 64 (1993), no. 2, pgs.169 - 194.

• B. Hart, A. Pillay and S. Starchenko, Triviality, NDOP and stable varieties. Stability in model theory, III (Trento, 1991). Ann. Pure Appl. Logic 62 (1993), no. 2, pgs. 119 - 146.

• B. Hart and M. Valeriote, A structure theorem for strongly abelian varieties with few models. J. Symbolic Logic 56 (1991), no. 3, pgs. 832 - 852.

• S. Shelah and B. Hart, Categoricity over P for first order T or categoricity for L_omega_1,omega can stop at aleph_k while holding for aleph_0 ... aleph_k-1. Israel J. Math. 70 (1990), no. 2, pgs. 219 - 235.

• R. Grossberg and B. Hart, The classification of excellent classes. J. Symbolic Logic 54 (1989), no. 4, pgs. 1359 - 1381.

• B. Hart, A proof of Morley's conjecture. J. Symbolic Logic 54 (1989), no. 4, pgs. 1346 - 1358.

• B. Hart, An exposition of OTOP. Classification theory (Chicago, IL, 1985), pgs. 107 - 126, Lecture Notes in Math., 1292, Springer, Berlin-New York, 1987.

• L. Czirmasz and B. Hart, Program correctness on finite fields, in the Proceedings of the Symposium on Logic in Computer Science, pgs. 4 - 10, 1986.

• B. Hart, T. Kucera, A. Pillay, P. Scott and R. Seely (editors), Models, Logics and Higher-Dimensional Categories: A tribute to the work of Mihaly Makkai, CRM Proceedings and Lecture Notes (53) 2011,  426 pgs.

• B. Hart and M. Valeriote (editors), Lectures on Algebraic Model Theory, Fields Institute Monographs, no. 15, AMS, 2002.

• B. Hart, A. Lachlan and M. Valeriote (editors), Algebraic Model Theory, Kluwer, 1997. This is the proceedings of the NATO conference on Algebraic Model Theory held at the Fields Institute, August, 1996.

• B. Hart, Stability theory and its variants, in Model Theory, Algebra, and Geometry, edited by Haskell, Pillay and Steinhorn, MSRI publication 39, Cambridge University Press, 2000.

• B. Hart and M.C. Laskowski, A survey of the uncountable spectra of countable theories, Proceedings of the NATO ASI on Algebraic Model Theory, Kluwer, 1997, pgs. 107 - 118.

Selected Presentations

• EF-games, presentation at Fields, FUSRP, 2018

• Practical definability, model theory special session, MCA, July, 2017
  

• Model theory of operator algebras, special session, ASL meeting, Mar. 2017; all of the slides from this session can be found here

• Continuous model theory, tutorial at Notre Dame, June, 2016

• Model theory and operator algebras: an overview and open problems, Model theory session, CMS meeting, Dec. 2014

• Definability in continuous logic, Model theory and operator algebras, Muenster, July, 2014

• Revisiting classification theory from the 1970s, Midwest model theory meeting, Chicago, Oct. 2013

• Continuous model theory and the classification problem, Ravello model theory meeting, June, 2013

• The model theory of R, Canadian operator symposium, Fields Institute, May, 2013

• John von Neumann, model theorist, plenary talk, ASL winter meeting, San Diego, Jan. 2013

• Model theory of operator algebras: the next generation, Logic and operator algebra workshop, Fields Institute, Sept. 2012

• Model theory of tracial von Neumann algebras, BIRS, June, 2012

• Model theory and the fundamental lemma, McMaster model theory seminar, winter, 2011