Related papers: Definable Combinatorics of Some Borel Equivalence …

Let $\Om$ be a Borel subset of $S^\Bbb N$ where $S$ is countable. A measure is called exchangeable on $\Om$, if it is supported on $\Om$ and is invariant under every Borel automorphism of $\Om$ which permutes at most finitely many…

In a recent work, the authors studied various Borel equivalence relations defined on the Polish space ${\rm{SA}}(H)$ of all (not necessarily bounded) self-adjoint operators on a separable infinite-dimensional Hilbert space $H$. In this…

For a class $\mathcal K$ of countable relational structures, a countable Borel equivalence relation $E$ is said to be $\mathcal K$-structurable if there is a Borel way to put a structure in $\mathcal K$ on each $E$-equivalence class. We…

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…

We show that the uniform measure-theoretic ergodic decomposition of a countable Borel equivalence relation $(X, E)$ may be realized as the topological ergodic decomposition of a continuous action of a countable group $\Gamma…

A set $G \subseteq \omega$ is $n$-generic for a positive integer $n$ if and only if every $\Sigma^0_n$ formula of $G$ is decided by a finite initial segment of $G$ in the sense of Cohen forcing. It is shown here that every $n$-generic set…

We consider tolerances $T$ compatible with an equivalence $E$ on $U$, meaning that the relational product $E \circ T$ is included in $T$. We present the essential properties of $E$-compatible tolerances and study rough approximations…

For a given extension $A \subset E$ of associative algebras we describe and classify up to an isomorphism all $A$-complements of $E$, i.e. all subalgebras $X$ of $E$ such that $E = A + X$ and $A \cap X = \{0\}$. Let $X$ be a given…

We introduce the notions of u-amenability and hyper-u-amenability for countable Borel equivalence relations, strong forms of amenability that are implied by hyperfiniteness. We show that treeable, hyper-u-amenable countable Borel…

We prove that for each meager relation $E\subset X\times X$ on a Polish space $X$ there is a nowhere meager subspace $F\subset X$ which is $E$-free in the sense that $(x,y)\notin E$ for any distinct points $x,y\in F$.

Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver trees. Here we prove that equivalence relations Borel reducible to an equivalence relation…

We study computably enumerable equivalence relations (ceers) on N and unravel a rich structural theory for a strong notion of reducibility among ceers.

We study a categorical condition on relations, which is a categorical formulation of J\'onsson's characterisation of congruence distributive varieties. Categories satisfying these conditions need not be varieties; for instance, the dual of…

We define a locally convex space $E$ to have the $Josefson$-$Nissenzweig$ $property$ (JNP) if the identity map $(E',\sigma(E',E))\to ( E',\beta^\ast(E',E))$ is not sequentially continuous. By the classical Josefson-Nissenzweig theorem,…

For each $a \in \mathbb{R}$, we define a Borel function $f_a : \mathbb{R} \to \mathbb{R}$ which encodes $a$ in a certain sense. We show that for each Borel $g : \mathbb{R} \to \mathbb{R}$, $f_a \cap g = \emptyset$ implies $a \in…

Given a countable Borel equivalence relation E and a countable group G, we study the problem of when a Borel action of G on X/E can be lifted to a Borel action of G on X.

Let $G$ and $A$ be objects of a finitely cocomplete homological category $\mathbb C$. We define a notion of an (internal) action of $G$ of $A$ which is functorially equivalent with a point in $\mathbb C$ over $G$, i.e. a split extension in…

A canonization scheme for smooth equivalence relations on $\mathbb R^\omega$ modulo restriction to infinite perfect products is proposed. It shows that given a pair of Borel smooth equivalence relations $\mathsf E,\mathsf F$ on $\mathbb…

Let $\Gamma$ be a countable group. A classical theorem of Thorisson states that if $X$ is a standard Borel $\Gamma$-space and $\mu$ and $\nu$ are Borel probability measures on $X$ which agree on every $\Gamma$-invariant subset, then $\mu$…

We introduce the notion of an invariantly universal pair (S,E) where S is an analytic quasi-order and E \subseteq S is an analytic equivalence relation. This means that for any analytic quasi-order R there is a Borel set B invariant under E…