Bradd Hart

According to our database, Bradd Hart authored at least 24 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2024

The Universal Theory of the Hyperfinite II $_1$ factor is not Computable.

Isaac Goldbring, Bradd Hart

Bull. Symb. Log., 2024

2023

Locally universal C*-algebras with computable presentations.

Alec Fox, Isaac Goldbring, Bradd Hart

CoRR, 2023

2022

On Tsirelson pairs of C*-algebras.

Isaac Goldbring, Bradd Hart

CoRR, 2022

Approximate traces on groups and the quantum complexity class MIP^{co, s}.

Isaac Goldbring, Bradd Hart

CoRR, 2022

2021

Operator algebras with hyperarithmetic theory.

Isaac Goldbring, Bradd Hart

J. Log. Comput., 2021

2016

Fraïssé Limits of C*-Algebras.

Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk, Martino Lupini

J. Symb. Log., 2016

Computability and the Connes Embedding Problem.

Isaac Goldbring, Bradd Hart

Bull. Symb. Log., 2016

2015

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

2014

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

2013

The theory of tracial von Neumann algebras does not have a model companion.

Isaac Goldbring, Bradd Hart, Thomas Sinclair

J. Symb. Log., 2013

2005

On the type-definability of the binding group in simple theories.

Bradd Hart, Ziv Shami

J. Symb. Log., 2005

2002

Unique Decomposition in Classifiable Theories.

Bradd Hart, Ehud Hrushovski, Michael C. Laskowski

J. Symb. Log., 2002

2000

Coordinatisation and Canonical Bases in Simple Theories.

Bradd Hart, Byunghan Kim, Anand Pillay

J. Symb. Log., 2000

1999

A Note On Alpha-Prime Models.

Bradd Hart, Zeljko Sokolovic, Predrag Tanovic

J. Symb. Log., 1999

1997

An Unclassifiable Unidimensional Theory without OTOP.

Ambar Chowdhury, Bradd Hart

Notre Dame J. Formal Log., 1997

1995

1-based theories - the main gap for<i>a</i>-models.

Bradd Hart, Anand Pillay, Sergei Starchenko

Arch. Math. Log., 1995

1994

Superstable Quasi-Varieties.

Bradd Hart, Sergei Starchenko

Ann. Pure Appl. Log., 1994

1993

Addendum to "A Structure Theorem for Strongly Abelian Varieties".

Bradd Hart, Sergei Starchenko

J. Symb. Log., 1993

Models with Second Order Properties V: A General Principle.

Saharon Shelah, Claude Laflamme, Bradd Hart

Ann. Pure Appl. Log., 1993

Triviality, NDOP and Stable Varieties.

Bradd Hart, Anand Pillay, Sergei Starchenko

Ann. Pure Appl. Log., 1993

1991

A Structure Theorem for Strongly Abelian Varieties with Few Models.

Bradd Hart, Matthew Valeriote

J. Symb. Log., 1991

1989

A Proof of Morley's Conjecture.

Bradd Hart

J. Symb. Log., 1989

The Classification of Excellent Classes.

Rami P. Grossberg, Bradd Hart

J. Symb. Log., 1989

1986

Program Correctness on Finite Fields

László Csirmaz, Bradd Hart

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986