4 research outputs found
Pseudofinite and pseudocompact metric structures
We initiate the study of pseudofiniteness in continuous logic. We introduce a
related concept, namely that of pseudocompactness, and investigate the
relationship between the two concepts. We establish some basic properties of
pseudofiniteness and pseudocompactness and provide many examples. We also
investigate the injective-surjective phenomenon for definable endofunctions in
pseudofinite structures.Comment: Second version. Some typos fixed. Easier proofs in Section
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
Compactifications of pseudofinite and pseudo-amenable groups
We first give simplified and corrected accounts of some results in
\cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use
a classical theorem of Turing \cite{Turing} to give a simplified proof that any
definable compactification of a pseudofinite group has an abelian connected
component. We then discuss the relationship between Turing's work, the
Jordan-Schur Theorem, and a (relatively) more recent result of Kazhdan
\cite{Kazh} on approximate homomorphisms, and we use this to widen our scope
from finite groups to amenable groups. In particular, we develop a suitable
continuous logic framework for dealing with definable homomorphisms from
pseudo-amenable groups to compact Lie groups. Together with the stabilizer
theorems of \cite{HruAG,MOS}, we obtain a uniform (but non-quantitative)
analogue of Bogolyubov's Lemma for sets of positive measure in discrete
amenable groups. We conclude with brief remarks on the case of amenable
topological groups.Comment: 23 page