English
Related papers

Related papers: Borel reducibility and finitely Holder(\alpha) emb…

200 papers

We introduce a notion of relative primeness for equivalence relations, strengthening the notion of non-reducibility, and show for many standard benchmark equivalence relations that non-reducibility may be strengthened to relative primeness.…

Logic · Mathematics 2021-04-20 John D. Clemens

We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…

Logic · Mathematics 2020-07-21 Andrew D. Brooke-Taylor , Filippo Calderoni , Sheila K. Miller

We introduce an analog of the theory of Borel equivalence relations in which we study equivalence relations that are decidable by an infinite time Turing machine. The Borel reductions are replaced by the more general class of infinite time…

Logic · Mathematics 2019-08-16 Samuel Coskey , Joel David Hamkins

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of…

Logic · Mathematics 2021-01-05 Piotr Borodulin-Nadzieja , Damian Sobota

In recent years, much work in descriptive set theory has been focused on the Borel complexity of naturally occurring classification problems, in particular, the study of countable Borel equivalence relations and their structure under the…

Logic · Mathematics 2013-06-07 Jay Williams

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…

Logic · Mathematics 2026-02-03 Petr Naryshkin , Andrea Vaccaro

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…

Logic · Mathematics 2015-09-18 Tapani Hyttinen , Miguel Moreno

We show that the Hilbert space is coarsely embeddable into any $\ell_p$ for $1\le p<\infty$. In particular, this yields new characterizations of embeddability of separable metric spaces into the Hilbert space.

Metric Geometry · Mathematics 2011-08-09 Piotr W. Nowak

A Boolean algebra $\A$ equipped with a (finitely-additive) positive probability measure $m$ can be turned into a metric space $(\A , d_{m})$, where $d_{m}(a,b)= m ((a\wedge\neg b)\vee(\neg a\wedge b))$, for any $a,b\in A$, sometimes…

Logic · Mathematics 2022-08-01 Stefano Bonzio , Andrea Loi

We show that every basis for the countable Borel equivalence relations strictly above $\mathbb{E}_0$ under measure reducibility is uncountable, thereby ruling out natural generalizations of the Glimm-Effros dichotomy. We also push many…

Logic · Mathematics 2020-02-25 Clinton T. Conley , Benjamin D. Miller

We show that if an equivalence relation $E$ on a Polish space is a countable union of smooth Borel subequivalence relations, then there is either a Borel reduction of $E$ to a countable Borel equivalence relation on a Polish space or a…

Logic · Mathematics 2025-01-22 N. de Rancourt , B. D. Miller

Let $F_{\omega_1}$ be the countable admissible ordinal equivalence relation defined on ${}^\omega 2$ by $x \ F_{\omega_1} \ y$ if and only if $\omega_1^x = \omega_1^y$. It will be shown that $F_{\omega_1}$ is classifiable by countable…

Logic · Mathematics 2016-02-01 William Chan

A Borel system consists of a measurable automorphism of a standard Borel space. We consider Borel embeddings and isomorphisms between such systems modulo null sets, i.e. sets which have measure zero for every invariant probability measure.…

Dynamical Systems · Mathematics 2014-09-23 Michael Hochman

We announce some new results regarding the classification problem for separable von Neumann algebras. Our results are obtained by applying the notion of Borel reducibility and Hjorth's theory of turbulence to the isomorphism relation for…

Logic · Mathematics 2022-07-05 Roman Sasyk , Asger Tornquist

We study classes of Borel subsets of the real line $\mathbb{R}$ such as levels of the Borel hierarchy and the class of sets that are reducible to the set $\mathbb{Q}$ of rationals, endowed with the Wadge quasi-order of reducibility with…

Logic · Mathematics 2021-03-11 Daisuke Ikegami , Philipp Schlicht , Hisao Tanaka

We show that if $E$ is a countable Borel equivalence relation on $\mathbb{R}^n$, then there is a closed subset $A \subset [0,1]^n$ of Hausdorff dimension $n$ so that $E \restriction A$ is smooth. More generally, if $\leq_Q$ is a locally…

Logic · Mathematics 2024-10-30 Andrew Marks , Dino Rossegger , Theodore Slaman

We introduce the notion of finitary computable reducibility on equivalence relations on the natural numbers. This is a weakening of the usual notion of computable reducibility, and we show it to be distinct in several ways. In particular,…

Logic · Mathematics 2018-02-12 Russell Miller , Keng Meng Ng

Let $X_n, n\in\Bbb N$ be a sequence of non-empty sets, $\psi_n:X_n^2\to\Bbb R^+$. We consider the relation $E((X_n,\psi_n)_{n\in\Bbb N})$ on $\prod_{n\in\Bbb N}X_n$ by $(x,y)\in E((X_n,\psi_n)_{n\in\Bbb N})\Leftrightarrow\sum_{n\in\Bbb…

Logic · Mathematics 2010-01-07 Longyun Ding

We investigate $\mathcal F$-Borel topological spaces. We focus on finding out how a~complexity of a~space depends on where the~space is embedded. Of a~particular interest is the~problem of determining whether a~complexity of given space $X$…

General Topology · Mathematics 2020-02-24 Vojtěch Kovařík

On a general open set of the euclidean space, we study the relation between the embedding of the homogeneous Sobolev space $\mathcal{D}^{1,p}_0$ into $L^q$ and the summability properties of the distance function. We prove that in the…

Analysis of PDEs · Mathematics 2023-01-31 Lorenzo Brasco , Francesca Prinari , Anna Chiara Zagati