相关论文: Explicit sentences distinguishing McDuff's II$_1$ …

Recently, Boutonnet, Chifan, and Ioana proved that McDuff's family of continuum many pairwise nonisomorphic separable II$_1$ factors are in fact pairwise non-elementarily equivalent by proving that any ultrapowers of two distinct members of…

We prove that there exist uncountably many separable II$_1$ factors whose ultrapowers (with respect to arbitrary ultrafilters) are non-isomorphic. In fact, we prove that the families of non-isomorphic II$_1$ factors originally introduced by…

We introduce and study the family of uniformly super McDuff II$_1$ factors. This family is shown to be closed under elementary equivalence and also coincides with the family of II$_1$ factors with the Brown property introduced in…

We provide a fairly large class of II$_1$ factors $N$ such that $M=N\bar{\otimes}R$ has a unique McDuff decomposition, up to isomorphism, where $R$ denotes the hyperfinite II$_1$ factor. This class includes all II$_1$ factors…

We use Ehrenfeucht-Fra\"iss\'e games to give a local geometric criterion for elementary equivalence of II$_1$ factors. We obtain as a corollary that two II$_1$ factors are elementarily equivalent if and only their unitary groups are…

We consider various statements that characterize the hyperfinite II$_1$ factors amongst embeddable II$_1$ factors in the non-embeddable situation. In particular, we show that "generically" a II$_1$ factor has the Jung property (which states…

Fragments of first-order logic over words can often be characterized in terms of finite monoids, and identities of omega-terms are an effective mechanism for specifying classes of monoids. Huschenbett and the first author have shown how to…

Fragments of first-order logic over words can often be characterized in terms of finite monoids or finite semigroups. Usually these algebraic descriptions yield decidability of the question whether a given regular language is definable in a…

We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We…

We prove that, under the continuum hypothesis $\frak c=\aleph_1$, any ultraproduct II$_1$ factor $M= \prod_{\omega} M_n$ of separable finite factors $M_n$ contains more than $\frak c$ many mutually disjoint singular MASAs, in other words…

In the study of infinite words, various notions of balancedness provide quantitative measures for how regularly letters or factors occur, and they find applications in several areas of mathematics and theoretical computer science. In this…

In \cite{Ioana:vNsuperrigidity}, Ioana introduced three new invariants of type II$_1$ factors: the one-sided fundamental group, the endomorphism semigroup and the set of right-finite bimodules. In \cite{Ioana:vNsuperrigidity}, he does not…

We introduce the notion of a generalized Jung factor: a II$_1$ factor $M$ for which any two embeddings of $M$ into its ultrapower $M^{\mathcal U}$ are equivalent by an automorphism of $M^{\mathcal U}$. We show that $\mathcal R$ is not the…

We provide a class of separable II$_1$ factors $M$ whose central sequence algebra is not the "tail" algebra associated to any decreasing sequence of von Neumann subalgebras of $M$. This settles a question of McDuff \cite{Mc69d}.

We introduce a framework allowing for key aspects of deformation/rigidity theory to be used in the study of continuous model theory of II$_1$ factors. Using this framework, we solve several well-known open problems in the area. For example,…

We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic…

Despite considerable research on document spanners, little is known about the expressive power of generalized core spanners. In this paper, we use Ehrenfeucht-Fra\"iss\'e games to obtain general inexpressibility lemmas for the logic FC (a…

We show that it is relatively consistent with ZFC that there exists a hyperfinite type $\mathrm{II}_1$-factor of density character $\aleph_1$ which is not isomorphic to its opposite, does not have any outer automorphisms, and has trivial…

We study equivalence relations and II_1 factors associated with (quotients of) generalized Bernoulli actions of Kazhdan groups. Specific families of these actions are entirely classified up to isomorphism of II_1 factors. This yields…

Given a pair of dynamical systems we consider a pair of commuting von Neumann factors of type 11_1. The construction is a generalization of classical von Neumann-Murrey and grouppoid construction. It gives a natural examples of factors with…