Preprint
The Universal Theory Of The Hyperfinite II$_1$ Factor Is Not Computable
Abstract
We show that the universal theory of the hyperfinite II$_1$ factor is not
computable. The proof uses the recent result that MIP*=RE. Combined with an
Authors
Goldbring I; Hart B
Publication date
June 9, 2020
DOI
10.48550/arxiv.2006.05629
Preprint server
arXiv