Related papers: Isomorphism of pointed minimal systems is not clas…
We prove that the automorphisms of any separable C*-algebra that does not have continuous trace are not classifiable by countable structures up to unitary equivalence. This implies a dichotomy for the Borel complexity of the relation of…
We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…
We establish necessary and sufficient conditions for a dynamical system to be topologically conjugate to the Morse minimal set, the shift orbit closure of the Morse sequence, and conditions for topological conjugacy to the closely related…
We show that for any countable homogeneous ordered graph $G$, the conjugacy problem for automorphisms of $G$ is Borel complete. In fact we establish that each such $G$ satisfies a strong extension property called ABAP, which implies that…
We study minimal $\mathbb{Z}^d$-Cantor systems and the relationship between their speedups, their collections of invariant Borel measures, their associated unital dimension groups, and their orbit equivalence classes. In the particular case…
We show that the homeomorphisms of the Sierpi\'nski carpet are not classifiable, up to conjugacy, using isomorphism types of countable structures as invariants.
A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…
Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…
We motivate and study the class $\mathcal{C}$ of countable groups $G$ such that the conjugacy relation between minimal actions of $G$ on $\mathbb{R}$ by orientation-preserving homeomorphisms is smooth -- that is, admits a Borel transversal.…
The group of automorphisms of the Cuntz algebra $\mathcal{O}_{2}$ is a Polish group with respect to the topology of pointwise convergence in norm. Our main result is that the relations of conjugacy and cocycle conjugacy of automorphisms of…
We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially…
We study Borel equivalence relations induced by Borel actions of tsi Polish groups on standard Borel spaces. We characterize when such an equivalence relation admits classification by countable structures using a variant of the $\mathbb…
We show that the isomorphism of ergodic measure-preserving transformations is not Borel reducible to the relation induced by the conjugacy action of the full group of an ergodic measure-preserving transformation on itself. This answers a…
We characterize having Borel isomorphism relation among some weakly minimal trivial theories, namely the examples of families of finite equivalence relations from recent joint work with Laskowski, and tame expansions of…
A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…
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.
If a characteristic class for two vector bundles over the same base space does not coincide, then the bundles are not isomorphic. We give under rather common assumptions a lower bound on the topological dimension of the set of all points in…
We assess the descriptive complexity of *bisimilarity* or "equality of behavior" on a family of Markov decision processes over uncountable standard Borel spaces, namely *nondeterministic labelled Markov processes* (NLMP). We show that…
We show that strongly positively recurrent Markov shifts (in particular shifts of finite type) are classified up to Borel conjugacy by their entropy, period and their numbers of periodic points.
In this paper we study the descriptive complexity of the topological orbit equvalence relation for some Borel classes of Cantor minimal systems. Specifically, we study the Borel class of all Cantor minimal systems with only finitely many…