74 citations · 280 across the 32 of their papers we have counts for
21 papers · 1 filter
Locally universal C*-algebras with computable presentations
Alec Fox, Isaac Goldbring, Bradd Hart
The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra . In an effort to provide a negative solution to the KE…
A survey on the model theory of tracial von Neumann algebras
Isaac Goldbring, Bradd Hart
We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for…
The Universal Theory Of The Hyperfinite II Factor Is Not Computable
Isaac Goldbring, Bradd Hart
We show that the universal theory of the hyperfinite II factor is not computable. The proof uses the recent result that MIP*=RE. Combined with an earlier observation of the aut…
The almost sure theory of finite metric spaces
Isaac Goldbring, Bradd Hart, Alex Kruckman
We establish an approximate zero-one law for sentences of continuous logic over finite metric spaces of diameter at most . More precisely, we axiomatize a complete metric theory…
Non-locally modular regular types in classifiable theories
Elisabeth Bouscaren, Bradd Hart, Ehud Hrushovski +1
We introduce the notion of strong -semi-regularity and show that if is a regular type which is not locally modular then any -semi-regular type is strongly -semi-regula…
Correspondences, Ultraproducts and Model Theory
Isaac Goldbring, Bradd Hart, Thomas Sinclair
We study correspondences of tracial von Neumann algebras from the model-theoretic point of view. We introduce and study an ultraproduct of correspondences and use this ultraproduct…