activity
20232026
most citedReflective Groupwork for Introductory Proof-Writing Courses

1 citations · 2 across the 9 of their papers we have counts for

collaborators

9 papers

math.OA2026

A Game-Theoretic Unital Classification Theorem for -Algebras

Jennifer Pi, Michał Szachniewicz, Mira Tartarotti

We study the complexity of the -equivalence relation on unital -algebras, in the sense of descriptive set theory. We prove that -equivalence is analytic, which in turn…

math.OA2025

Free Independence is not definable

William Boulanger, Jakub Curda, Emma Harvey +2

Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captur…

math.OA2025

Embeddings into the ultrapower of the Jiang-Su algebra

Ben Bouwen, Jennifer Pi

We study existence of embeddings into ultrapowers of the Jiang-Su algebra and the Razak-Jacelon algebra . More specifically, we show that the cone over a…

math.OA2025

Strong convergence to operator-valued semicirculars

David Jekel, Yoonkyeong Lee, Brent Nelson +1

We establish a framework for weak and strong convergence of matrix models to operator-valued semicircular systems parametrized by operator-valued covariance matrices $η= (η_{i,j})_…

math.HO2023★ 1 cited

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…

math.OA2023★ 1 cited

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…

math.LO2023

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…

math.OA2023

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…

math.OA2023

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$…