COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM (Q5346695): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1017/bsl.2016.5
+Normal rank
@@ Property / OpenAlex ID @@
+W2468512922
@@ Property / OpenAlex ID: W2468512922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602612
@@ Property / cites work: Q3602612 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of completeness for continuous first-order logic
+Normal rank
@@ Property / cites work @@
+Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
+Normal rank
@@ Property / cites work @@
+The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion
+Normal rank
@@ Property / cites work @@
+Existentially closed ${\rm II}_1$ factors
@@ Property / cites work: Existentially closed ${\rm II}_1$ factors / rank @@
+Normal rank
@@ Property / cites work @@
+On rings of operators
@@ Property / cites work: On rings of operators / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory of operator algebras. II: Model theory
+Normal rank
@@ Property / cites work @@
+Global weak solution for a singular two-component reaction-diffusion system
+Normal rank
@@ Property / cites work @@
+Q4411217
@@ Property / cites work: Q4411217 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperlinear and Sofic Groups: A Brief Guide
@@ Property / cites work: Hyperlinear and Sofic Groups: A Brief Guide / rank @@
+Normal rank
@@ Property / cites work @@
+The analogues of entropy and of Fisher's information measure in free probability theory. II
+Normal rank