Related papers: An effective version of Nadkarni's Theorem

We prove a superposition principle for nonlinear Fokker-Planck-Kolmogorov equations on Euclidean spaces and their corresponding linearized first-order continuity equation over the space of Borel (sub-)probability measures. As a consequence,…

We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.

Let $\sigma_i$, $i=1,2,3$, denote positive Borel measures on $\mathbb{R}^n$, let $\mathcal{D}$ denote the usual collection of dyadic cubes in $\mathbb{R}^n$ and let $K:\,\mathcal{D}\to[0,\infty)$ be a map. In this paper we give a…

This paper deals with countable products of countable Borel equivalence relations and equivalence relations "just above" those in the Borel reducibility hierarchy. We show that if $E$ is strongly ergodic with respect to $\mu$ then…

We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…

In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: 1. Some…

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…

We prove that for any positive integer c there are at least N(c), $1\leq N(c) < \phi(c)/2$ representations of c as a sum of two positive integers a, b, with no common divisor, such that the N(c) radicals R(abc) are all greater than kc,…

A new transparent proof of the well known good compactification theorem for the complex torus $(\Bbb C^*)^n$ is presented. This theorem provides a powerful tool in enumerative geometry for subvarieties in the complex torus. The paper also…

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…

The main result of this note, Theorem 2, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant under the action of the infinite unitary group and that admits well-defined projections onto the…

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.

We consider a quartic O(N)-vector model. Using the Loop Vertex Expansion, we prove the Borel summability in 1/N along the real axis of the partition function and of the connected correlations of the model. The Borel summability holds…

We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be…

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…

We study the connection between the condition that the reduced C*-algebra of a finitely presented group is exact and the Novikov conjecture holding. The main result states that if the group is strongly exact in the sense that the inclusion…

As mathematical induction is applied to prove statements on natural numbers, {\it continuous induction} (or, {\it real induction}) is a tool to prove some statements in real analysis.(Although, this comparison is somehow an overstatement.)…

In previous work of the authors, we investigated the Born and inverse Born series for a scalar wave equation with linear and nonlinear terms, the nonlinearity being cubic of Kerr type [8]. We reported conditions which guarantee convergence…

We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $k \geq 1$ and $A, B \subseteq \mathbb{R}^k$ are bounded Borel…

If E is an equivalence relation Borel reducible to E_1 \times E_3 then either E is Borel reducible to the equality of countable sets of reals or E_1 is Borel reducible to E. The "either" case admits further strengthening.