74 citations · 280 across the 32 of their papers we have counts for
1 paper · 2 filters
Isaac Goldbring, Bradd Hart
We show that the universal theory of the hyperfinite II1 factor is not computable. The proof uses the recent result that MIP*=RE. Combined with an earlier observation of the aut…