262 research outputs found
Model theory of operator algebras III: Elementary equivalence and II_1 factors
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 separable II_1 factors that have an ultrapower isomorphic to an
ultrapower of M. We also give a poor man's resolution of the Connes Embedding
Problem: there exists a separable II_1 factor such that all II_1 factors embed
into one of its ultrapowers.Comment: 16 page
NIP omega-categorical structures: the rank 1 case
We classify primitive, rank 1, omega-categorical structures having
polynomially many types over finite sets. For a fixed number of 4-types, we
show that there are only finitely many such structures and that all are built
out of finitely many linear orders interacting in a restricted number of ways.
As an example of application, we deduce the classification of primitive
structures homogeneous in a language consisting of n linear orders as well as
all reducts of such structures.Comment: Substantial changes made to the presentation, especially in sections
3 and
Quantifier elimination in C*-algebras
The only C*-algebras that admit elimination of quantifiers in continuous
logic are , Cantor space and
. We also prove that the theory of C*-algebras does not have
model companion and show that the theory of is not
-axiomatizable for any .Comment: More improvements and bug fixes. To appear in IMR
Fields and Fusions: Hrushovski constructions and their definable groups
An overview is given of the various expansions of fields and fusions of
strongly minimal sets obtained by means of Hrushovski's amalgamation method, as
well as a characterization of the groups definable in these structures
- …