Related papers: Variations on $\Delta^1_1$ Determinacy and $\aleph…
The Erdos-Moser theorem (EM) states that every infinite tournament has an infinite transitive subtournament. This principle plays an important role in the understanding of the computational strength of Ramsey's theorem for pairs (RT^2_2) by…
In this paper we study the existence of multiple nontrivial positive weak solutions to the following system of problems. \begin{align*} \begin{split} -\Delta_{p}u-\Delta_q u &= \lambda f(x)|u|^{r-2}u+\nu\frac{1-\alpha}{2-\alpha-\beta}h(x)…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation \beta, and a quaternary equidistance relation \equiv. Tarski established, inter alia, that the first-order…
Let $F(s)=\sum_n a_n/\lambda_n^s$ be a general Dirichlet series which is absolutely convergent on $\Re(s)>1$. Assume that $F(s)$ has an analytic continuation and satisfies a growth condition, which gives rise to certain invariants namely…
The following results are proved: (a) In a model obtained by adding aleph_2 Cohen reals, there is always a c.c.c. complete Boolean algebra without the weak Freese-Nation property. (b) Modulo the consistency strength of a supercompact…
We prove the Tate conjecture for divisor classes and the Mumford-Tate conjecture for the cohomology in degree 2 for varieties with $h^{2,0}=1$ over a finitely generated field of characteristic 0, under a mild assumption on their moduli. As…
We deduce, as a consequence of the arithmetic removal lemma, an almost-all version of the Balog-Szemer\'{e}di-Gowers theorem: For any $K\geq 1$ and $\varepsilon > 0$, there exists $\delta = \delta(K,\varepsilon)>0$ such that the following…
We consider the existence problem of the following Singular Toda system on a compact Riemann surface $(\Sigma, g)$ without boundary \begin{equation*} \begin{cases}…
A random vector ${\bf X}$ is weakly stable iff for all $a,b\in \mathbb{R}$ there exists a random variable $\Theta$ such that $a{\bf X}+b{\bf X}'\stackrel{d}{=}{\bf X}\Theta$. This is equivalent (see \cite{MOU}) with the condition that for…
Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We…
We establish an Eichler-Shimura isomorphism for weakly modular forms of level one. We do this by relating weakly modular forms with rational Fourier coefficients to the algebraic de Rham cohomology of the modular curve with twisted…
The thin set theorem $\mathsf{RT}^n_{<\infty,\ell}$ asserts the existence, for every $k$-coloring of the subsets of natural numbers of size $n$, of an infinite set of natural numbers, all of whose subsets of size $n$ use at most $\ell$…
We give examples of infinite order rational transformations that leave linear differential equations covariant. These examples are non-trivial yet simple enough illustrations of exact representations of the renormalization group. We first…
Consider a class of non-homogenous ultraparabolic differential equations with drift terms or lower order terms arising from some physical models, and we prove that weak solutions are H\"{o}lder continuous, which also generalizes the classic…
We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal $M_1$, there is a model of $\ZFC$ in which $\NS$ is $\aleph_2$-saturated and $\Delta_1$-definable with $\omega_1$ as a parameter which…
The aim of the book is to present some recent results in the theory of stochastic It\^o equations with singular deterministic part (drift) and its applications to second-order elliptic and parabolic equations with singular first-order…
Consider polynomial sequences that satisfy a first-order differential recurrence. We prove that if the recurrence is of a special form, then the Tur\'an expressions for the sequence are weakly Hurwitz stable (non-zero in the open right…
Recently 't Hooft demonstrated that ``For any quantum system there exists at least one deterministic model that reproduces all its dynamics after prequantization''. An extension is presented here which covers quantum systems that are…
We give a new proof of the discretized ring theorem for sets of real numbers. As a special case, we show that if $A\subset\mathbb{R}$ is a $(\delta,1/2)_1$-set in the sense of Katz and Tao, then either $A+A$ or $A.A$ must have measure at…
We prove some existence, uniqueness and non-existence results of stochastic strong solutions for a class of stochastic transport equations with a $q$-integrable (in time), bounded and $\alpha$-H\"{o}lder continuous (in space) drift…