Program Correctness on Finite Fields - László Csirmaz; Bradd Hart (LICS, 1986)

The Classification of Excellent Classes. - Rami P. Grossberg; Bradd Hart (J. Symb. Log., 1989)

A Proof of Morley's Conjecture. - Bradd Hart (J. Symb. Log., 1989)

A Structure Theorem for Strongly Abelian Varieties with Few Models. - Bradd Hart; Matthew Valeriote (J. Symb. Log., 1991)

Triviality, NDOP and Stable Varieties. - Bradd Hart; Anand Pillay; Sergei Starchenko (Ann. Pure Appl. Log., 1993)

Models with Second Order Properties V: A General Principle. - Saharon Shelah; Claude Laflamme; Bradd Hart (Ann. Pure Appl. Log., 1993)

Addendum to "A Structure Theorem for Strongly Abelian Varieties". - Bradd Hart; Sergei Starchenko (J. Symb. Log., 1993)

Superstable Quasi-Varieties. - Bradd Hart; Sergei Starchenko (Ann. Pure Appl. Log., 1994)

1-based theories - the main gap fora-models. - Bradd Hart; Anand Pillay; Sergei Starchenko (Arch. Math. Log., 1995)

An Unclassifiable Unidimensional Theory without OTOP. - Ambar Chowdhury; Bradd Hart (Notre Dame J. Formal Log., 1997)

A Note On Alpha-Prime Models. - Bradd Hart; Zeljko Sokolovic; Predrag Tanovic (J. Symb. Log., 1999)

Coordinatisation and Canonical Bases in Simple Theories. - Bradd Hart; Byunghan Kim; Anand Pillay (J. Symb. Log., 2000)

Unique Decomposition in Classifiable Theories. - Bradd Hart; Ehud Hrushovski; Michael C. Laskowski (J. Symb. Log., 2002)

On the type-definability of the binding group in simple theories. - Bradd Hart; Ziv Shami (J. Symb. Log., 2005)

The theory of tracial von Neumann algebras does not have a model companion. - Isaac Goldbring; Bradd Hart; Thomas Sinclair (J. Symb. Log., 2013)

Omitting types and AF algebras. - Kevin Carlson; Enoch Cheung; Ilijas Farah; Alexander Gerhardt-Bourke; Bradd Hart; Leanne Mezuman; Nigel Sequeira; Alexander Sherman (Arch. Math. Log., 2014)

K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, United Kingdom, 2012, x + 248 pp. - Bradd Hart (Bull. Symb. Log., 2015)

Computability and the Connes Embedding Problem. - Isaac Goldbring; Bradd Hart (Bull. Symb. Log., 2016)

Fraïssé Limits of C*-Algebras. - Christopher J. Eagle; Ilijas Farah; Bradd Hart; Boris Kadets; Vladyslav Kalashnyk; Martino Lupini (J. Symb. Log., 2016)

Operator algebras with hyperarithmetic theory. - Isaac Goldbring; Bradd Hart (J. Log. Comput., 2021)

Approximate traces on groups and the quantum complexity class MIPco, s. - Isaac Goldbring; Bradd Hart (CoRR, 2022)

On Tsirelson pairs of C*-algebras. - Isaac Goldbring; Bradd Hart (CoRR, 2022)

Locally universal C*-algebras with computable presentations. - Alec Fox; Isaac Goldbring; Bradd Hart (CoRR, 2023)

The Universal Theory of the Hyperfinite II $_1$ factor is not Computable. - Isaac Goldbring; Bradd Hart (Bull. Symb. Log., 2024)