2000 character limit reached
Quantifier elimination in II$_1$ factors
Published 22 Apr 2023 in math.LO and math.OA | (2304.11371v5)
Abstract: No type II$_1$ tracial von Neumann algebra has theory that admits quantifier elimination.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.