English
Related papers

Related papers: Variations on $\Delta^1_1$ Determinacy and $\aleph…

200 papers

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…

Logic · Mathematics 2016-10-26 Ludovic Patey

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)…

Analysis of PDEs · Mathematics 2020-05-19 Debajyoti Choudhuri , Kamel Saoudi , Kratou Mouna

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…

Logic in Computer Science · Computer Science 2019-03-14 Antti Kuusisto , Jeremy Meyers , Jonni Virtema

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…

Number Theory · Mathematics 2019-08-09 Anup B. Dixit

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…

Logic · Mathematics 2007-05-23 Sakaé Fuchino , Stefan Geschke , Saharon Shelah , Lajos Soukup

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…

Algebraic Geometry · Mathematics 2017-03-15 Ben Moonen

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…

Combinatorics · Mathematics 2019-09-09 Xuancheng Shao

We consider the existence problem of the following Singular Toda system on a compact Riemann surface $(\Sigma, g)$ without boundary \begin{equation*} \begin{cases}…

Analysis of PDEs · Mathematics 2024-12-19 Qiang Fei

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…

Probability · Mathematics 2007-05-23 Jolanta K. Misiewicz

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…

Logic · Mathematics 2024-11-26 Tom Benhamou , Dima Sinapova

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…

Number Theory · Mathematics 2018-06-20 Francis Brown , Richard Hain

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$…

Logic · Mathematics 2019-09-02 Peter Cholak , Ludovic Patey

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…

Mathematical Physics · Physics 2017-05-24 Y. Abdelaziz , J. -M. Maillard

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…

Analysis of PDEs · Mathematics 2019-06-04 Wendong Wang , Liqun Zhang

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…

Logic · Mathematics 2021-12-16 Stefan Hoffelner

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…

Probability · Mathematics 2026-05-06 N. V. Krylov

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…

Complex Variables · Mathematics 2015-01-27 Matthew Chasse , Lukasz Grabarek , Mirkó Visontai

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…

Quantum Physics · Physics 2009-11-13 Hans-Thomas Elze

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…

Classical Analysis and ODEs · Mathematics 2023-08-24 Larry Guth , Nets Hawk Katz , Joshua Zahl

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…

Analysis of PDEs · Mathematics 2017-11-15 Jinlong Wei , Jinqiao Duan , Hongjun Gao , Guangying Lv