- 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.

Selected non-refereed contributions

- 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.

- 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