2 problems

The model-completeness characterization for theories of tracial von Neumann algebras
Model-completeness conjecture. The theory $T$ is model complete if and only if $N$ is of type I.
openmodel-completeness model-theory tracial-von-neumann-algebras
0 responses
06
The quantifier-elimination characterization for theories of tracial von Neumann algebras
Quantifier-elimination conjecture. The following are equivalent:
openmodel-theory quantifier-elimination tracial-von-neumann-algebras
0 responses
05