
We define the standard Borel space of free ArakiWoods factors and prove that
their isomorphism relation is not classifiable by countable structures. We also
prove that equality of $\tau$topologies, arising as invariants of type III
factors, as well as coycle and outer conjugacy of actions of abelian groups on
free product factors are not classifiable by countable structures.

Let $\Gamma$ be a countable discrete group, and let $\pi\colon \Gamma\to
{\rm{GL}}(H)$ be a representation of $\Gamma$ by invertible operators on a
separable Hilbert space $H$. We show that the semidirect product group
$G=H\rtimes_{\pi}\Gamma$ is SIN ($G$ admits a twosided invariant metric
compatible with its topology) and unitarily representable ($G$ embeds into the
unitary group $\mathcal{U}(\ell^2(\mathbb N))$), if and only if $\pi$ is
uniformly bounded, and that $\pi$ is unitarizable if and only if $G$ is of
finite type: that is, $G$ embeds into the unitary group of a II$_1$factor.
Consequently, we show that a unitarily representable Polish SIN groups need not
be of finite type, answering a question of Sorin Popa. The key point in our
argument is an equivariant version of the MaureyNikishin factorization
theorem for continuous maps from a Hilbert space to the space $L^0(X,m)$ of all
measurable maps on a probability space.

Using countable support iteration of $S$proper posets, for some appropriate
stationary set $S$, we obtain a generic extension of the constructible
universe, in which $\mathfrak{b}=\mathfrak{c}=\aleph_2$ and there is a maximal
cofinitary group with a $\Pi^1_2$definable set of generators.

Assuming that every set is constructible, we find a $\Pi^1_1$ maximal
cofinitary group of permutations of $\mathbb N$ which is indestructible by
Cohen forcing. Thus we show that the existence of such groups is consistent
with arbitrarily large continuum. Our method also gives a new proof, inspired
by the forcing method, of Kastermans' result that there exists a $\Pi^1_1$
maximal cofinitary group in $L$.

Let $\mathcal R$ be a $\Sigma^1_1$ binary relation, and recall that a set $A$
is $\mathcal R$discrete if no two elements of $A$ are related by $\mathcal R$.
We show that in the Sacks and Miller forcing extensions of $L$ there is a
$\Delta^1_2$ maximal $\mathcal{R}$discrete set. We use this to answer in the
negative the main question posed in [5] by showing that in the Sacks and Miller
extensions there is a $\Pi^1_1$ maximal orthogonal family ("mof") of Borel
probability measures on Cantor space. A similar result is also obtained for
$\Pi^1_1$ mad families. By contrast, we show that if there is a Mathias real
over $L$ then there are no $\Sigma^1_2$ mofs.

We show that there are no infinite maximal almost disjoint ("mad") families
in Solovay's model, thus solving a longstanding problem posed by A.D.R.
Mathias in 1967. We also give a new proof of Mathias' theorem that no analytic
infinite almost disjoint family can be maximal, and show more generally that if
Martin's Axiom holds at $\kappa<2^{\aleph_0}$, then no $\kappa$Souslin
infinite almost disjoint family can be maximal. Finally we show that if
$\aleph_1^{L[a]}<\aleph_1$, then there are no $\Sigma^1_2[a]$ infinite mad
families.

These are the notes from Asger T\"ornquist's Appalachian Set Theory lectures
at Carnegie Mellon University. They form a chapter in the LMS lecture notes
series 406.

The main result of the present paper is that $\mathfrak a_g$, the minimal
size of maximal cofinitary group, can be of countable cofinality. To prove this
we define a natural poset for adding a maximal cofinitary group of a given
cardinality, which enjoys certain combinatorial properties allowing it to be
used within a similar template forcing construction. Additionally we obtain
that $\mathfrak a_p$, the minimal size of a maximal family of almost disjoint
permutations, and $\mathfrak a_e$, the minimal size of a maximal eventually
different family, can be of countable cofinality.

We answer in the affirmative the following question of J\"org Brendle: If
there is a $\Sigma^1_2$ mad family, is there then a $\Pi^1_1$ mad family?

We prove that the isomorphism relation for separable C$^*$algebras, and also
the relations of complete and $n$isometry for operator spaces and systems, are
Borel reducible to the orbit equivalence relation of a Polish group action on a
standard Borel space.

We consider natural $\Sigma^1_2$ definable analogues of many of the classical
statements that have been shown to be equivalent to CH. It is shown that these
$\Sigma^1_2$ analogues are equivalent to that all reals are constructible. We
also prove two partition relations for $\Sigma^1_2$ colourings which hold
precisely when there is a nonconstructible real.

We prove that for a countable discrete group $\Gamma$ containing a copy of
the free group $\F_n$, for some $2\leq n\leq\infty$, as a normal subgroup, the
equivalence relations of conjugacy, orbit equivalence and von Neumann
equivalence of the ergodic a.e. free actions of $\Gamma$ are analytic nonBorel
equivalence relations in the Polish space of probability measure preserving
$\Gamma$ actions. As a consequence we obtain that the isomorphism relation in
the spaces of separably acting factors of type $\II_1$, $\II_\infty$ and
$\III_\lambda$, $0\leq\lambda\leq 1$, are analytic and not Borel when these
spaces are given the Effros Borel structure.

We bound the Borel cardinality of the isomorphism relation for nuclear simple
separable C*algebras: It is turbulent, yet Borel reducible to the action of
the automorphism group of the Cuntz algebra O_2 on its closed subsets. The same
bounds are obtained for affine homeomorphism of metrizable Choquet simplexes.
As a byproduct we recover a result of Kechris and Solecki, namely, that
homeomorphism of compacta in the Hilbert cube is Borel reducible to a Polish
group action. These results depend intimately on the classification theory of
nuclear simple C*algebras by Ktheory and traces. Both of necessity and in
order to lay the groundwork for further study on the Borel complexity of
C*algebras, we prove that many standard C*algebra constructions and relations
are Borel, and we prove Borel versions of Kirchberg's O_2stability and
embedding theorems. We also find a C*algebraic witness for a K_\sigma hard
equivalence relation.

We establish the Borel computability of various C$^*$algebra invariants,
including the Elliott invariant and the Cuntz semigroup. As applications we
deduce that AF algebras are classifiable by countable structures, and that a
conjecture of Winter and the second author for nuclear separable simple
C*algebras cannot be disproved by appealing to known standard Borel structures
on these algebras.

In this paper we show that there are "E_0 many" orbit inequivalent free
actions of the free groups F_n, $2\leq n\leq\infty$, by measure preserving
transformations on a standard Borel probability space. In particular, there are
uncountably many such actions.

We study maximal orthogonal families of Borel probability measures on
$2^\omega$ (abbreviated m.o. families) and show that there are generic
extensions of the constructible universe $L$ in which each of the following
holds:
(1) There is a $\Delta^1_3$definable well order of the reals, there is a
$\Pi^1_2$definable m.o. family, there are no $\mathbf{\Sigma}^1_2$definable
m.o. families and $\mathfrak{b}=\mathfrak{c}=\omega_3$ (in fact any reasonable
value of $\mathfrak{c}$ will do).
(2) There is a $\Delta^1_3$definable well order of the reals, there is a
$\Pi^1_2$definable m.o. family, there are no $\mathbf{\Sigma}^1_2$definable
m.o. families, $\mathfrak{b}=\omega_1$ and $\mathfrak{c}=\omega_2$.

We show that the unitary conjugacy relation for unitary representations of a
second countable locally compact group on a separable Hilbert space is a Borel
equivalence relation.

Using Baire category techniques we prove that ArakiWoods factors are not
classifiable by countable structures. As a result, we obtain a far reaching
strengthening as well as a new proof of the wellknown theorem of Woods that
the isomorphism problem for ITPFI factors is not smooth. We derive as a
consequence that the odometer actions of Z that preserve the measure class of a
finite nonatomic product measure are not classifiable up to orbit equivalence
by countable structures.

We show that the continuum hypothesis implies that every measure preserving
nearaction of a group on a standard Borel probability space $(X,\mu)$ has a
pointwise implementation by Borel measure preserving automorphisms.

We announce some new results regarding the classification problem for
separable von Neumann algebras. Our results are obtained by applying the notion
of Borel reducibility and Hjorth's theory of turbulence to the isomorphism
relation for separable von Neumann algebras.

We prove that if $V=L$ then there is a $\Pi^1_1$ maximal orthogonal (i.e.
mutually singular) set of measures on Cantor space. This provides a natural
counterpoint to the wellknown Theorem of Preiss and Rataj that no analytic set
of measures can be maximal orthogonal.

The study of Borel equivalence relations under Borel reducibility has
developed into an important area of descriptive set theory. The dichotomies of
Silver and HarringtonKechrisLouveau show that with respect to Borel
reducibility, any Borel equivalence relation strictly above equality on
$\omega$ is above equality on ${\cal P}(\omega)$, the power set of $\omega$,
and any Borel equivalence relation strictly above equality on the reals is
above equality modulo finite on ${\cal P}(\omega)$. In this article we examine
the effective content of these and related results by studying effectively
Borel equivalence relations under effectively Borel reducibility. The resulting
structure is complex, even for equivalence relations with finitely many
equivalence classes. However use of Kleene's $O$ as a parameter is sufficient
to restore the picture from the noneffective setting. A key lemma is the
existence of two effectively Borel sets of reals, neither of which contains the
range of the other under any effectively Borel function; the proof of this
result applies Barwise compactness to a deep theorem of Harrington establishing
for any recursive ordinal $\alpha$ the existence of $\Pi^0_1$ singletons whose
$\alpha$jumps are Turing incomparable.

We prove that orbit equivalence of measure preserving ergodic a.e. free
actions of a countable group with the relative property (T) is a complete
analytic equivalence relation.

We prove the following analogue of a Theorem of R.O. Davies: Every
$\Sigma^1_2$ function $f:\R\times\R\to\R$ can be represented as a sum of
rectangular $\Sigma^1_2$ functions if and only if all reals are constructible.

We prove that it is not possible to classify separable von Neumann factors of
types $\II_1$, $\II_\infty$ or $\III_\lambda$, $0\leq \lambda\leq1$, up to
isomorphism by a Borel measurable assignment of "countable structures" as
invariants. In particular the isomorphism relation of type $\II_1$ factors is
not smooth. We also prove that the isomorphism relation for von Neumann $\II_1$
factors is analytic, but is not Borel.