`2024-04-16 13:50:00``2024-04-16 14:55:00``An Absence of Quantifier Reduction for II_1 Factors, using Quantum Expanders``Title: An Absence of Quantifier Reduction for II_1 Factors, using Quantum ExpandersSpeaker: Jennifer Pi (UC Irvine)Speaker's URL: https://sites.google.com/view/jpi314/homeAbstract: A basic question in model theory is whether a theory admits any kind of quantifier reduction. One form of quantifier reduction is called model completeness, and broadly refers to when arbitrary formulas can be "replaced" by existential formulas.Prior to the negative resolution of the Connes Embedding Problem (CEP), a result of Goldbring, Hart, and Sinclair showed that a positive solution to CEP would imply that there is no II_1 factor with a theory which is model-complete. In this talk, we discuss work on the question of quantifier reduction for general tracial von Neumann algebras. In particular, we prove a complete classification for which tracial von Neumann algebras admit complete elimination of quantifiers. Furthermore, we show that no II_1 factor (satisfying a weaker assumption than CEP) has a theory that is model complete by using Hastings' quantum expanders. This is joint work with Ilijas Farah and David Jekel.URL associated with Seminar: https://www.asc.ohio-state.edu/math/vqss/``MW 154``OSU ASC Drupal 8``ascwebservices@osu.edu``America/New_York``public`

`2024-04-16 13:50:00``2024-04-16 14:55:00``An Absence of Quantifier Reduction for II_1 Factors, using Quantum Expanders``Title: An Absence of Quantifier Reduction for II_1 Factors, using Quantum ExpandersSpeaker: Jennifer Pi (UC Irvine)Speaker's URL: https://sites.google.com/view/jpi314/homeAbstract: A basic question in model theory is whether a theory admits any kind of quantifier reduction. One form of quantifier reduction is called model completeness, and broadly refers to when arbitrary formulas can be "replaced" by existential formulas.Prior to the negative resolution of the Connes Embedding Problem (CEP), a result of Goldbring, Hart, and Sinclair showed that a positive solution to CEP would imply that there is no II_1 factor with a theory which is model-complete. In this talk, we discuss work on the question of quantifier reduction for general tracial von Neumann algebras. In particular, we prove a complete classification for which tracial von Neumann algebras admit complete elimination of quantifiers. Furthermore, we show that no II_1 factor (satisfying a weaker assumption than CEP) has a theory that is model complete by using Hastings' quantum expanders. This is joint work with Ilijas Farah and David Jekel.URL associated with Seminar: https://www.asc.ohio-state.edu/math/vqss/ ``MW 154``Department of Mathematics``math@osu.edu``America/New_York``public`**Title: **An Absence of Quantifier Reduction for II_1 Factors, using Quantum Expanders**Speaker: **Jennifer Pi (UC Irvine)**Speaker's URL**: https://sites.google.com/view/jpi314/home**Abstract: **A basic question in model theory is whether a theory admits any kind of quantifier reduction. One form of quantifier reduction is called model completeness, and broadly refers to when arbitrary formulas can be "replaced" by existential formulas.

Prior to the negative resolution of the Connes Embedding Problem (CEP), a result of Goldbring, Hart, and Sinclair showed that a positive solution to CEP would imply that there is no II_1 factor with a theory which is model-complete. In this talk, we discuss work on the question of quantifier reduction for general tracial von Neumann algebras. In particular, we prove a complete classification for which tracial von Neumann algebras admit complete elimination of quantifiers. Furthermore, we show that no II_1 factor (satisfying a weaker assumption than CEP) has a theory that is model complete by using Hastings' quantum expanders. This is joint work with Ilijas Farah and David Jekel.

**URL associated with Seminar: **https://www.asc.ohio-state.edu/math/vqss/