Related papers: Borel reducibility and Holder($\alpha$) embeddabil…

Let $(X_n,d_n),\,n\in\Bbb N$ be a sequence of pseudo-metric spaces, $p\ge 1$. For $x,y\in\prod_{n\in\Bbb N}X_n$, let $(x,y)\in E((X_n)_{n\in\Bbb N};p)\Leftrightarrow\sum_{n\in\Bbb N}d_n(x(n),y(n))^p<+\infty$. For Borel reducibility between…

We improve the known results about the complexity of the relation of isomorphism between separable Banach spaces up to Borel reducibility, and we achieve this using the classical spaces $c_0$, $\ell_p$ and $L_p$, $1 \leq p <2$. More…

We consider the problem of determining the complexity of the uniform homeomorphism relation between separable Banach spaces in the Borel reducibility hierarchy of analytic equivalence relations. We prove that the complete $K_{\sigma}$…

For $f \colon [0,1] \rar \real^{+}$, consider the relation $\mathbf{E}_{f}$ on $[0,1]^{\omega}$ defined by $(x_{n}) \mathbf{E}_{f} (y_{n}) \Leftrightarrow \sum_{n < \omega} f(|y_{n} - x_{n}|) < \infty.$ We study the Borel reducibility of…

This paper contains results concerning the Borel reduction of the relation $E_0$ of eventual agreement between sequences of 0's and 1's, to the relation of permutative equivalence between basic sequences in a Banach space. For more clarity…

We present a selection of basic results on Borel reducibility of Borel ideals and equivalence relations, especially those with comparably short proofs. The focal point are reducibility/irreducibility results related to some special…

Let $X$ be a Polish space, $d$ a pseudo-metric on $X$. If $\{(u,v):d(u,v)<\delta\}$ is ${\bf\Pi}^1_1$ for each $\delta>0$, we show that either $(X,d)$ is separable or there are $\delta>0$ and a perfect set $C\subseteq X$ such that…

In this paper, a notion of Schauder equivalence relation $\mathbb R^\mathbb N/L$ is introduced, where $L$ is a linear subspace of $\mathbb R^\mathbb N$ and the unit vectors form a Schauder basis of $L$. The main theorem is to show that the…

We study the Borel reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the…

In this paper, we study Schauder equivalence relations, which are Borel equivalence relations generated by Banach spaces with basic sequences. We prove that the set of equivalence relations generated by basic sequences has boundaries. Then…

It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism…

The notion of computable reducibility between equivalence relations on the natural numbers provides a natural computable analogue of Borel reducibility. We investigate the computable reducibility hierarchy, comparing and contrasting it with…

In this paper, we show that, for each $p>1$, there are continuum many Borel equivalence relations between $\Bbb R^\omega/\ell_1$ and $\Bbb R^\omega/\ell_p$ ordered by $\le_B$ which are pairwise Borel incomparable.

Let SB be the standard coding for separable Banach spaces as subspaces of $C(\Delta)$. In these notes, we show that if $\mathbb{B} \subset \text{SB}$ is a Borel subset of spaces with separable dual, then the assignment $X \mapsto X^*$ can…

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…

It is shown that every Banach space either contains $\ell ^1$ or it has an infinite dimensional closed subspace which is a quotient of a H.I. Banach space.Further on, $L^p(\lambda )$, $1<p<\infty $, is a quotient of a H.I Banach space.

A topological setting is defined to study the complexities of the relation of equivalence of embeddings (or "position") of a Banach space into another and of the relation of isomorphism of complex structures on a real Banach space. The…

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 consider reducibility of equivalence relations (ERs, for brevity), in a nonstandard domain, in terms of the Borel reducibility and the countably determined (CD, for brevity) reducibility. This reveals phenomena partially analogous to…

The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver and Harrington-Kechris-Louveau show that with respect to Borel reducibility, any…