The Universal Theory Of The Hyperfinite II$_1$ Factor Is Not Computable

U. Haagerup and L. Zsidó, Sur la propriété de Dixmier pour les C ∗ \mathrm{C}^{*} -algèbres, C. R. Acad. Sci. Paris. Sér. I Math. 298 (1984) 173–176

1984

Earlier work this paper cites.

E. Kirchberg, On nonsemisplit extensions, tensor products and exactness of group C ∗ \mathrm{C}^{*} -algebras, Invent. Math. 112 (1993), no. 3, 449–489

1993

Earlier work this paper cites.

Z. Ji, A. Natarajan, T. Vidick, J. Wright and H. Yuen, MIP* = RE, preprint, arxiv 2001.04383

2001

Earlier work this paper cites.

I. Goldbring and B. Hart. Operator algebras with hyperarithmetic theories, arXiv 2004.02299

2004

Earlier work this paper cites.

I. Ben Yaacov, A. Berenstein, C. W. Henson, and A. Usvyatsov, Model theory for metric structures, Model theory with applications to algebra and analysis. Vol. 2, London Math. Soc. Lecture Note Ser., vol. 350, Cambridge Univ. Press, Cambridge, 2008, 315-427

2008

Earlier work this paper cites.

I. Ben Yaacov and A.P. Pederson, A proof of completeness for continuous first order logic, J. of Symb. Log. 75 (2010), no. 1, 168–190

2010

Earlier work this paper cites.

M. Junge, M. Navascues, C. Palazuelos, D. Perez-Garcia, V. Scholz, and R. Werner. Connes’ embedding problem and Tsirelson’s problem. Journal of Mathematical Physics, 52(1):012102, 2011

2011

Cited alongside, same era.

T. Fritz. Tsirelson’s problem and Kirchberg’s conjecture. Reviews in Mathematical Physics, 24(05):1250012, 2012

2012

Cited alongside, same era.

N. Ozawa. About the Connes embedding conjecture. Japanese Journal of Mathematics, 8(1):147–183, 2013

2013

Cited alongside, same era.

I. Farah, B. Hart, and D. Sherman. Model theory of operator algebras III: Elementary equivalence and II 1 factors. Bulletin of the London Mathematical Society, vol. 46 (2014), 609-628

2014

Cited alongside, same era.

T. Fritz, T. Netzer and A. Thom. Can you compute the operator norm? Proc. of the AMS, 142(12):4265–4276, 2014

2014

Cited alongside, same era.

I. Goldbring and B. Hart. A computability-theoretic reformulation of the Connes Embedding Problem, Bull. of Symbolic Logic, 22 (2016), no. 2, 238–248

2016

Later among the works it cites.

V. Paulsen, S. Severini, D. Stahlke, I. Todorov, and A. Winter. Estimating quantum chromatic numbers, Journal of Functional Analysis, vol. 270 (2016), 2180-2222

2016

Later among the works it cites.

R. Archbold, L. Robert, and A. Tikuisis, The Dixmier property and tracial states for C ∗ \mathrm{C}^{*} -algebras, Journal of Functional Analysis 273 (2017), 2655-2718

2017

Later among the works it cites.

I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati and W. Winter, Model Theory of C ∗ \mathrm{C}^{*} -algebras, accepted for publication in the Memoirs of the AMS, 2018, 147 pgs

2018

Later among the works it cites.

S. Kim, V. Paulsen and C. Schafhauser, A Synchronous Game For Binary Constraint Systems, Journal of Mathematical Physics 59, 032201 (2018)