Bradd Hart

25 papers A* 1Journal 24
YearRankTypeTitle / Venue / Authors
2025 J jnl
Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms.
CoRR
Anastasis Kratsios, Dennis Y. Zvigelsky, Bradd Hart
2024 J jnl
The Universal Theory of the Hyperfinite II $_1$ factor is not Computable.
Bull. Symb. Log.
Isaac Goldbring, Bradd Hart
2023 J jnl
Locally universal C*-algebras with computable presentations.
CoRR
Alec Fox, Isaac Goldbring, Bradd Hart
2022 J jnl
Approximate traces on groups and the quantum complexity class MIP
CoRR
Isaac Goldbring, Bradd Hart
2022 J jnl
On Tsirelson pairs of C*-algebras.
CoRR
Isaac Goldbring, Bradd Hart
2021 J jnl
Operator algebras with hyperarithmetic theory.
J. Log. Comput.
Isaac Goldbring, Bradd Hart
2016 J jnl
Computability and the Connes Embedding Problem.
Bull. Symb. Log.
Isaac Goldbring, Bradd Hart
2016 J jnl
Fraïssé Limits of C*-Algebras.
J. Symb. Log.
Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk, Martino Lupini
2015 J jnl
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.
Bradd Hart
2014 J jnl
Omitting types and AF algebras.
Arch. Math. Log.
Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira, Alexander Sherman
2013 J jnl
The theory of tracial von Neumann algebras does not have a model companion.
J. Symb. Log.
Isaac Goldbring, Bradd Hart, Thomas Sinclair
2005 J jnl
On the type-definability of the binding group in simple theories.
J. Symb. Log.
Bradd Hart, Ziv Shami
2002 J jnl
Unique Decomposition in Classifiable Theories.
J. Symb. Log.
Bradd Hart, Ehud Hrushovski, Michael C. Laskowski
2000 J jnl
Coordinatisation and Canonical Bases in Simple Theories.
J. Symb. Log.
Bradd Hart, Byunghan Kim, Anand Pillay
1999 J jnl
A Note On Alpha-Prime Models.
J. Symb. Log.
Bradd Hart, Zeljko Sokolovic, Predrag Tanovic
1997 J jnl
An Unclassifiable Unidimensional Theory without OTOP.
Notre Dame J. Formal Log.
Ambar Chowdhury, Bradd Hart
1995 J jnl
1-based theories - the main gap for
Arch. Math. Log.
Bradd Hart, Anand Pillay, Sergei Starchenko
1994 J jnl
Superstable Quasi-Varieties.
Ann. Pure Appl. Log.
Bradd Hart, Sergei Starchenko
1993 J jnl
Addendum to "A Structure Theorem for Strongly Abelian Varieties".
J. Symb. Log.
Bradd Hart, Sergei Starchenko
1993 J jnl
Models with Second Order Properties V: A General Principle.
Ann. Pure Appl. Log.
Saharon Shelah, Claude Laflamme, Bradd Hart
1993 J jnl
Triviality, NDOP and Stable Varieties.
Ann. Pure Appl. Log.
Bradd Hart, Anand Pillay, Sergei Starchenko
1991 J jnl
A Structure Theorem for Strongly Abelian Varieties with Few Models.
J. Symb. Log.
Bradd Hart, Matthew Valeriote
1989 J jnl
A Proof of Morley's Conjecture.
J. Symb. Log.
Bradd Hart
1989 J jnl
The Classification of Excellent Classes.
J. Symb. Log.
Rami P. Grossberg, Bradd Hart
1986 A* conf
Program Correctness on Finite Fields
LICS
László Csirmaz, Bradd Hart