Bradd Hart

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 8

Top Topics

Spatial Reasoning

Theoretical Framework

Top Venues

Bull. Symb. Log.

J. Log. Comput.

Publications

Alec Fox, Isaac Goldbring, Bradd Hart
Locally universal C*-algebras with computable presentations. CoRR (2023)
Isaac Goldbring, Bradd Hart
. CoRR (2022)
Isaac Goldbring, Bradd Hart
On Tsirelson pairs of C*-algebras. CoRR (2022)
Isaac Goldbring, Bradd Hart
A quantum complexity approach to the Kirchberg Embedding Problem. CoRR (2021)
Isaac Goldbring, Bradd Hart
Operator algebras with hyperarithmetic theory. J. Log. Comput. 31 (2) (2021)
Isaac Goldbring, Bradd Hart
Computability and the Connes Embedding Problem. Bull. Symb. Log. 22 (2) (2016)
Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk, Martino Lupini
Fraïssé Limits of C*-Algebras. J. Symb. Log. 81 (2) (2016)
Bradd Hart
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. Bull. Symb. Log. 21 (3) (2015)
Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira, Alexander Sherman
Omitting types and AF algebras. Arch. Math. Log. 53 (1-2) (2014)
Isaac Goldbring, Bradd Hart, Thomas Sinclair
The theory of tracial von Neumann algebras does not have a model companion. J. Symb. Log. 78 (3) (2013)
Bradd Hart, Ziv Shami
On the type-definability of the binding group in simple theories. J. Symb. Log. 70 (2) (2005)
Bradd Hart, Ehud Hrushovski, Michael C. Laskowski
Unique Decomposition in Classifiable Theories. J. Symb. Log. 67 (1) (2002)
Bradd Hart, Byunghan Kim, Anand Pillay
Coordinatisation and Canonical Bases in Simple Theories. J. Symb. Log. 65 (1) (2000)
Bradd Hart, Zeljko Sokolovic, Predrag Tanovic
A Note On Alpha-Prime Models. J. Symb. Log. 64 (4) (1999)
Ambar Chowdhury, Bradd Hart
An Unclassifiable Unidimensional Theory without OTOP. Notre Dame J. Formal Log. 38 (1) (1997)
Bradd Hart, Anand Pillay, Sergei Starchenko
-models. Arch. Math. Log. 34 (5) (1995)
Bradd Hart, Sergei Starchenko
Superstable Quasi-Varieties. Ann. Pure Appl. Log. 69 (1) (1994)
Saharon Shelah, Claude Laflamme, Bradd Hart
Models with Second Order Properties V: A General Principle. Ann. Pure Appl. Log. 64 (2) (1993)
Bradd Hart, Anand Pillay, Sergei Starchenko
Triviality, NDOP and Stable Varieties. Ann. Pure Appl. Log. 62 (2) (1993)
Bradd Hart, Sergei Starchenko
Addendum to "A Structure Theorem for Strongly Abelian Varieties". J. Symb. Log. 58 (4) (1993)
Bradd Hart, Matthew Valeriote
A Structure Theorem for Strongly Abelian Varieties with Few Models. J. Symb. Log. 56 (3) (1991)
Rami P. Grossberg, Bradd Hart
The Classification of Excellent Classes. J. Symb. Log. 54 (4) (1989)
Bradd Hart
A Proof of Morley's Conjecture. J. Symb. Log. 54 (4) (1989)
László Csirmaz, Bradd Hart
Program Correctness on Finite Fields LICS (1986)