Related papers: The Borel Ramsey properties for countable Borel eq…
We express the Partial regularities and $a^*$-invariants of a Borel type ideal in terms of its irredundant irreducible decomposition. In addition we consider the behaviours of those invariants under intersections and sums.
We prove an analogue of the portmanteau theorem on weak convergence of probability measures allowing measures which are unbounded on an underlying metric space but finite on the complement of any Borel neighbourhood of a fixed element.
In this thesis, we investigate the computational content and the logical strength of Ramsey's theorem and its consequences. For this, we use the frameworks of reverse mathematics and of computable reducibility. We proceed to a systematic…
Combining canonization results of Pr\"omel-Voigt, Mathias, and Soare, we provide a new, natural example of an $F_\sigma$ equivalence relation that is not hypersmooth.
We study global dynamical properties of the isometry group of the Borel randomization of a separable complete structure. In particular, we show that if properties such as the Rohklin property, topometric generics, extreme amenability hold…
We define a relative property A for a countable group with respect to a finite family of subgroups. Many characterizations for relative property A are given. In particular a relative bounded cohomological characterization shows that if a…
The question of quantifying the sharpness (or unsharpness) of a quantum mechanical effect is investigated. Apart from sharpness, another property, bias, is found to be relevant for the joint measurability or coexistence of two effects.…
We consider the conjugacy problem for the automorphism groups of a number of countable homogeneous structures. In each case we find the precise complexity of the conjugacy relation in the sense of Borel reducibility.
We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under the model-theoretic assumption of stability, such a…
Measurement outcomes of a quantum state can be genuinely random (unpredictable) according to the basic laws of quantum mechanics. The Heisenberg-Robertson uncertainty relation puts constrains on the accuracy of two noncommuting observables.…
A Banach space has the Schur property when every weakly convergent sequence converges in norm. We prove a Schur-like property for measures: if a sequence of finite signed Borel measures on a Polish space is such that it is bounded in total…
We examine a hierarchy of equivalence classes of quasi-random properties of Boolean Functions. In particular, we prove an equivalence between a number of properties including balanced influences, spectral discrepancy, local strong…
Roughly speaking, holonomic measures are parametric varifolds without boundary. They provide a setting appropriate for the analysis of many variational problems. In this paper, we characterize the space of variations for these objects, and…
We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism),…
Almost isomorphism is an equivalence relation on countable state Markov shifts which provides a strong version of Borel conjugacy; still, for mixing SPR shifts, entropy is a complete invariant of almost isomorphism. In this paper, we…
We analyze the degree-structure induced by large reducibilities under the Axiom of Determinacy. This generalizes the analysis of Borel reducibilities given in references [1], [6] and [5] e.g. to the projective levels.
We consider positively supported Borel measures for which all moments exist. On the set of compactly supported measures in this class a partial order is defined via eventual dominance of the moment sequences. Special classes are identified…
We introduce the notion of Q-Borel ideals: ideals which are closed under the Borel moves arising from a poset Q. We study decompositions and homological properties of these ideals, and offer evidence that they interpolate between Borel…
For a quantum group, we study those right coideal subalgebras, for which all irreducible representations are one-dimensional. If a right coideal subalgebra is maximal with this property, then we call it a Borel subalgebra. Besides the…
Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is…