Quantifier elimination in II$_1$ factors
Ilijas Farah
TL;DR
This paper proves that no type II$_1$ tracial von Neumann algebra's theory admits quantifier elimination, highlighting fundamental limitations in their logical simplification.
Contribution
It establishes a negative result showing the impossibility of quantifier elimination in the theories of all type II$_1$ factors.
Findings
No type II$_1$ factor's theory admits quantifier elimination
Highlights limitations in the logical structure of II$_1$ factors
Provides a foundational result in operator algebra logic
Abstract
No type II tracial von Neumann algebra has theory that admits quantifier elimination.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topics in Algebra · Advanced Operator Algebra Research · Quantum Mechanics and Applications