1 citations · 2 across the 9 of their papers we have counts for
12 papers
Counterexamples to the Monotone Completeness Conjecture
Jananan Arulseelan, James E. Hanson
Combining a modification of the recent counterexample to the quasitrace conjecture with model-theoretic reductions due to the first author, we exhibit a counterexample to the monot…
Model theory of quasitracial -algebras and the absoluteness of monotone completeness
Jananan Arulseelan
We examine various applications of logic to -algebras, particularly the monotone completeness conjecture. We develop a model theory for -algebras equi…
Revisiting the Transfinite Christensen-Pedersen Argument
Jananan Arulseelan
Christensen and Pedersen proved that every properly infinite -algebra is monotone sequentially complete, and Saitô and Wright developed a transfinite form of their d…
Every -Algebra is Normal
Jananan Arulseelan, James E. Hanson
Using set-theoretic methods, we prove that every -algebra is normal, resolving a question of Wright that has stood open for 46 years. This was previously known in th…
Pointwise Mean Value Theorems in Constructive Mathematics
Jananan Arulseelan, James E. Hanson
We answer some questions regarding the mean value theorem and related results in constructive mathematics. The answers to these questions reveal interesting properties of the Mean…
A Note on Pseudofinite W*-Probability Spaces
Jananan Arulseelan
We introduce pseudofinite W*-probability spaces. These are W*-probability spaces that are elementarily equivalent to Ocneanu ultraproducts of finite-dimensional von Neumann algebra…
Model Theory of General von Neumann Algebras II: Group Actions and Crossed Products
Jananan Arulseelan
Expanding on previous work of the author, we initiate the model theoretic study of W-dynamical systems. We axiomatize continuous weight-preserving group actions of on von N…
Model Theory of General von Neumann Algebras I: Generalized Ocneanu Ultraproducts
Jananan Arulseelan
This paper collates, presents, and expands upon technology and results obtained as part of the author's PhD thesis. We generalize work done in the -finite setting by the author,…
The Universal Theory of Locally Universal Tracial von Neumann Algebras is not Computable
Jananan Arulseelan, Aareyan Manzoor
Building on Lin's breakthrough MIP = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally uni…
Totally Bounded Elements in W*-probability Spaces
Hiroshi Ando, Jananan Arulseelan, Isaac Goldbring +2
We introduce the notion of a totally (-) bounded element of a -probability space and, borrowing ideas of Kadison, give an intrinsic characterization of the -su…
On the Elementary Equivalence of Group Factors
Jananan Arulseelan
We use techniques of distortion systems, introduced by James Hanson to show that any two elementarily equivalent infinite discrete ICC groups give rise to elementarily equivalent g…
The undecidability of having the QWEP
Jananan Arulseelan, Isaac Goldbring, Bradd Hart
We show that neither the class of C*-algebras with Kirchberg's QWEP property nor the class of W*-probability spaces with the QWEP property are effectively axiomatizable (in the app…