تقرير
Quantifier elimination in II$_1$ factors
| العنوان: | Quantifier elimination in II$_1$ factors |
|---|---|
| المؤلفون: | Farah, Ilijas |
| سنة النشر: | 2023 |
| المجموعة: | Mathematics |
| مصطلحات موضوعية: | Mathematics - Logic, Mathematics - Operator Algebras |
| الوصف: | No type II$_1$ tracial von Neumann algebra has theory that admits quantifier elimination. Comment: A bad typo in (2) of Lemma 2.1 fixed. The statement of (3) in Lemma 2.1 expanded to a more illuminating one. To appear in the special issue of Muenster J. Math. in memory of Eberhard Kirchberg |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2304.11371 |
| رقم الأكسشن: | edsarx.2304.11371 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |