Related papers: Martin's maximum revisited
In this paper we prove a Liouville type theorem for the stationary MHD and the stationary Hall-MHD systems. Assuming suitable growth condition at infinity for the mean oscillations for the potential functions, we show that the solutions are…
Given a cardinal $\lambda$, category forcing axioms for $\lambda$-suitable classes $\Gamma$ are strong forcing axioms which completely decide the theory of the Chang model $\mathcal C_\lambda$, modulo generic extensions via forcing notions…
A quantitative two weight theorem for the Hardy-Littlewood maximal operator is proved improving the known ones. As a consequence a new proof of the main results in [HP] and in [HPR12] is obtained which avoids the use of the sharp…
Given a submersion $\pi:Q \to M$ with an Ehresmann connection $\mathcal{H}$, we describe how to solve Hamiltonian systems on $M$ by lifting our problem to $Q$. Furthermore, we show that all solutions of these lifted Hamiltonian systems can…
Theoretical predictions underlying determinations of the fine structure constant alpha and the electron-to-proton mass ratio m_e/m_p are reviewed, with the emphasis on the bound electron magnetic anomaly g-2. The theory of the interaction…
For an arbitrary forcing class $\Gamma$, the $\Gamma$-fragment of Todorcevic's strong reflection principle SRP is isolated in such a way that (1) the forcing axiom for $\Gamma$ implies the $\Gamma$-fragment of SRP, (2) the stationary set…
Assuming $\rm PFA$, we shall use internally club $\omega_1$-guessing models as side conditions to show that for every tree $T$ of height $\omega_2$ without cofinal branches, there is a proper and $\aleph_2$-preserving forcing notion with…
By iterative techniques,we present two fixed point theorems, whose modular formulations are relatively close to the Banach's fixed point theorem in the normed spaces.The first result concerns the fixed point of the strongly contraction…
This work considers two related families of nonlinear and nonlocal problems in the plane $\mathbb{R}^2$. The first main result derives the general integrable solution to a generalized Liouville equation using the Wronskian of two coprime…
It is shown that if BMM (= Bounded Martin's Maximum) holds then each set is contained in an inner model with a strong cardinal. This answers a question that has been asked by various people. It follows that BMM has a much larger consistency…
We study the definability of maximal towers and of inextendible linearly ordered towers (ilt's), a notion that is more general than that of a maximal tower. We show that there is, in the constructible universe, a $\Pi^1_1$ definable maximal…
In arXiv:2208.12944 it is shown that an ordinal $\sup_{N<\omega}\psi_{\Omega_{1}}(\varepsilon_{\Omega_{\mathbb{S}+N}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}\ell^{r}+(M\prec_{\Sigma_{1}}V)$. In this…
Knaster-Tarski's theorem, characterising the greatest fixpoint of a monotone function over a complete lattice as the largest post-fixpoint, naturally leads to the so-called coinduction proof principle for showing that some element is below…
For the two dimensional stationary MHD equations, we proved that Liouville type theorems hold if the velocity is growing at infinity, where the magnetic field is assumed to be bounded under a smallness condition. The key point is to…
The determinacy of lightface $\Delta^1_{2n+2}$ and boldface $\boldsymbol{\Pi}^1_{2n+1}$ sets implies the existence of an $(\omega, \omega_1)$-iterable $M_{2n+1}^{\#}$.
We show how to force, with finite conditions, the forcing axiom PFA(T), a relativization of PFA to proper forcing notions preserving a given Souslin tree T. The proof uses a Neeman style iteration with generalized side conditions consisting…
We present a generalization of Warning's Second Theorem to polynomial systems over a finite local principal ring with suitably restricted input and output variables. This generalizes a recent result with Forrow and Schmitt (and gives a new…
Recently the matrix $A_2$ conjecture was disproved. Indeed, the growth of the vector Hilbert transform in the matrix weighted $L^2(W)$ space was shown to be at best a constant multiple of $[W]_{\mathbf{A}_2}^{3/2}$. This bound had…
We characterize the weighted Hardy's inequalities for monotone functions in ${\mathbb R^n_+}.$ In dimension $n=1$, this recovers the classical theory of $B_p$ weights. For $n>1$, the result was only known for the case $p=1$. In fact, our…
The Hamiltonian formulation of Mimetic Gravity is formulated. Although there are two more equations than those of general relativity, these are proved to be the constraint equation and the conservation of energy-momentum tensor. The Poisson…