1 citations · 2 across the 9 of their papers we have counts for
5 papers · 1 filter
Reflective Groupwork for Introductory Proof-Writing Courses
Jennifer Pi, Christopher Davis, Yasmeen Baki +1
We discuss two proof evaluation activities meant to promote the acquisition of learning behaviors of professional mathematics within an introductory undergraduate proof-writing cou…
Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras
Ilijas Farah, David Jekel, Jennifer Pi
We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neuman…
On the First-Order Free Group Factor Alternative
Isaac Goldbring, Jennifer Pi
We investigate the problem of elementary equivalence of the free group factors, that is, do all free group factors share a common first-order theory? We establish…
An Elementary Proof of the Inequality for Conditional Free Entropy
David Jekel, Jennifer Pi
Through the study of large deviations theory for matrix Brownian motion, Biane-Capitaine-Guionnet proved the inequality that relates two analogs of entropy in fr…
Uniformly Super McDuff II Factors
Isaac Goldbring, David Jekel, Srivatsav Kunnawalkam Elayavalli +1
We introduce and study the family of uniformly super McDuff II factors. This family is shown to be closed under elementary equivalence and also coincides with the family of II$…