Source author record

Asger Tornquist

Asger Tornquist appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2015arXiv

Definability and almost disjoint families

We show that there are no infinite maximal almost disjoint ("mad") families in Solovay's model, thus solving a long-standing 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 $κ<2^{\aleph_0}$, then no $κ$-Souslin infinite almost disjoint family can be maximal. Finally we show that if $\aleph_1^{L[a]}<\aleph_1$, then there are no $Σ^1_2[a]$ infinite mad families.

preprint2012arXiv

The $ \mathbfΣ^1_2$ counterparts to statements that are equivalent to the Continuum Hypothesis

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

preprint2012arXiv

The Borel complexity of von Neumann equivalence

We prove that for a countable discrete group $Γ$ 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 $Γ$ are analytic non-Borel equivalence relations in the Polish space of probability measure preserving $Γ$ 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_λ$, $0\leqλ\leq 1$, are analytic and not Borel when these spaces are given the Effros Borel structure.

preprint2012arXiv

Turbulence, orbit equivalence, and the classification of nuclear C*-algebras

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 by-product 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 K-theory 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_2-stability and embedding theorems. We also find a C*-algebraic witness for a K_σhard equivalence relation.

preprint2011arXiv

Projective maximal families of orthogonal measures with large continuum

We study maximal orthogonal families of Borel probability measures on $2^ω$ (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 $Δ^1_3$-definable well order of the reals, there is a $Π^1_2$-definable m.o. family, there are no $\mathbfΣ^1_2$-definable m.o. families and $\mathfrak{b}=\mathfrak{c}=ω_3$ (in fact any reasonable value of $\mathfrak{c}$ will do). (2) There is a $Δ^1_3$-definable well order of the reals, there is a $Π^1_2$-definable m.o. family, there are no $\mathbfΣ^1_2$-definable m.o. families, $\mathfrak{b}=ω_1$ and $\mathfrak{c}=ω_2$.