74 citations · 280 across the 32 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.OA2020
Properties expressible in small fragments of the theory of the hyperfinite II_1 factor
Isaac Goldbring, Bradd Hart
We show that any II factor that has the same 4-quantifier theory as the hyperfinite II factor satisfies the conclusion of the Popa Factorial Commutant Embeddi…
math.LO2020
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…
math.OA2020
Operator algebras with hyperarithmetic theory
Isaac Goldbring, Bradd Hart
We show that the following operator algebras have hyperarithmetic theory: the hyperfinite II factor , for a finitely generated group with solvable word p…