تقرير
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 |
الوصف غير متاح. |