BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Asger Törnquist appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We define the standard Borel space of free Araki-Woods factors and prove that their isomorphism relation is not classifiable by countable structures. We also prove that equality of $τ$-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.
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 $Π^1_2$-definable set of generators.
These are the notes from Asger Törnquist's Appalachian Set Theory lectures at Carnegie Mellon University. They form a chapter in the LMS lecture notes series 406.
We answer in the affirmative the following question of Jörg Brendle: If there is a $Σ^1_2$ mad family, is there then a $Π^1_1$ mad family?
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 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 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.