Related papers: Varia: Ideals and Equivalence Relations, beta-vers…
In this paper, we introduce the notions of proximally completeness, proximally closedness and proximally continuity and utilize the same to prove a result on existence and uniqueness of best proximity points in the setting of metric space…
The number of ad-nilpotent ideals of the Borel subalgebra of the classical Lie algebra of type B_n is determined using combinatorial arguments involving a generalization of Dyck-paths. We also solve a similar problem for the untwisted…
We present the formalization of Doob's martingale convergence theorems in the mathlib library for the Lean theorem prover. These theorems give conditions under which (sub)martingales converge, almost everywhere or in $L^1$. In order to…
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…
Another Bell test "loophole" - imperfect rotational invariance - is explored, and novel realist ideas on parametric down-conversion as used in recent "quantum entanglement" experiments are presented. The usual quantum theory of entangled…
Borell's inequality states the existence of a positive absolute constant $C>0$ such that for every $1\leq p\leq q$ $$ \left(\mathbb E|\langle X, e_n\rangle|^p\right)^\frac{1}{p}\leq\left(\mathbb E|\langle X,…
We establish a generalized Rieffel correspondence for ideals in equivalent Fell bundles.
We define some natural notions of strong and weak Borel Ramsey properties for countable Borel equivalence relations and show that they hold for a countable Borel equivalence relation if and only if the equivalence relation is smooth. We…
We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel…
Several very interesting results connecting the theory of abelian ideals of Borel subalgebras, some ideas of D. Peterson relating the previous theory to the combinatorics of affine Weyl groups, and the theory of discrete series are stated…
We prove that, for $1 \le p<q<\infty$, the partially ordered set $P(\omega)/{\rm Fin}$ can be embedded into Borel equivalence relations between $\mathbb{R}^\omega/\ell_p$ and $\mathbb{R}^\omega/\ell_q$. Since there is an antichain of size…
We consider countable Borel equivalence relations on quotient Borel spaces. We prove a generalization of the Feldman-Moore representation theorem, but provide some examples showing that other very simple properties of countable equivalence…
We establish a dichotomy theorem characterizing the circumstances under which a treeable Borel equivalence relation E is essentially countable. Under additional topological assumptions on the treeing, we in fact show that E is essentially…
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…
We prove in this paper that there exists some infinitary rational relations which are Sigma^0_3-complete Borel sets and some others which are Pi^0_3-complete. This implies that there exists some infinitary rational relations which are…
We provide a new criterion for embedding $\mathbb{E}_{0}$, and apply it to equivalence relations in model theory. This generalize the results of the authors and Pierre Simon on the Borel cardinality of Lascar strong types equality, and…
The article has been withdrawn by the author. Wolfgang Lueck and Peter Linnell pointed out that the proof of Lemma 3.8 does not apply to the unrestricted case of wreath product. It is not clear at this stage how to complete the proof of…
The converse of the Borel-Cantelli Lemma states that if $\{A_i\}_{i=1}^\infty$ is a sequence of independent events such that $\sum P(A_i)=\infty$, then almost surely infinitely many of these events will occur. Erd\H os and R\'enyi proved…
This expanded version corrects some misprints of the first version, details completely the poof of Borel-Leroy summability and for $k=3$ in the complex case provides a new improved representation which relies on ordinary convergent Gaussian…
We prove that if M is a finitely-generated module of dimension d with finite local cohomologies over a Noetherian local ring, and if the ith local cohomology module of M is zero unless i = d, i = 0, and i = r for some r strictly between 0…