Refereed publications
- 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. (pdf)
- 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. La°amme 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.
Books
- 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.
Selected
Presentations