Related papers: Provable Pi-1-2 Singletons

We consider a class of singular weighted anisotropic $p$-Laplace equations. We provide sufficient condition on the weight function that may vanish or blow up near the origin to ensure the existence of at least one weak solution in the…

We force over the constructible universe to obtain a model of the $\Pi^1_3$-reduction property, thus lowering the best known large cardinal strength from the existence of $M_1^{\#}$ to just ZFC. In this model the $\Pi^1_3$-uniformization…

The aim of this paper is to give verifiable criteria for the existence of {\em irreducible} homomorphisms of $\pi_{1}(\mathbb P^1 - \mathcal R)$ into compact semisimple groups, for a finite subset $\mathcal R$ such that the conjugacy…

We consider a one-Laplace equation perturbed by $p$-Laplacian with $1<p<\infty$. We prove that a weak solution is continuously differentiable ($C^{1}$) if it is convex. Note that similar result fails to hold for the unperturbed one-Laplace…

We consider the number of solutions in positive integers $(x,y,z)$ for the purely exponential Diophantine equation $a^x+b^y =c^z$ (with $\gcd(a,b)=1$). Apart from a list of known exceptions, a conjecture published in 2016 claims that this…

This is a translation from French of my paper [R. May, Extension d'une classe d'unicite pour les equations de Navier-Stokes, Ann. I. H. Poincar\'{e}-AN 27 (2010) 705-718. doi:10.1016/j.anihp.2009.11.007]. Q. Chen, C. Miao, and Z. Zhang…

We prove the existence of $N - 1$ distinct pairs of nontrivial solutions of the scalar field equation in ${\mathbb R}^N$ under a slow decay condition on the potential near infinity, without any symmetry assumptions. Our result gives more…

Let $a \geq 2$ be an integer. We prove that for every periodic sequence $(s_n)_{n \geq 1}$ in $\{-1, +1\}$ there exists an effectively computable rational number $C_\mathbf{s} > 0$ such that \begin{equation*} \log\operatorname{lcm}(a + s_1,…

Let $Z_2$, $Z_3$, and $Z_4$ denote $2^{\rm nd}$, $3^{\rm rd}$, and $4^{\rm th}$ order arithmetic, respectively. We let Harrington's Principle, {\sf HP}, denote the statement that there is a real $x$ such that every $x$--admissible ordinal…

Relative to class many supercompact cardinals, we construct a model of $\ZFC+\GCH$ where for every singular cardinal $\delta$ of countable cofinality and every regular uncountable $\mu<\delta$ there are stationarily many non-approachable…

We derive a discrete version of the results of our previous work. If $M$ is a compact metric space, $c : M\times M \to \mathbb R$ a continuous cost function and $\lambda \in (0,1)$, the unique solution to the discrete $\lambda$-discounted…

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

In this paper we relate the location of the complex zeros of the reliability polynomial to parameters at which a certain family of rational functions derived from the reliability polynomial exhibits chaotic behaviour. We use this connection…

We investigate existence, Liouville type theorems and regularity results for the 3D stationary and incompressible fractional Navier-Stokes equations: in this setting the usual Laplacian is replaced by its fractional power…

In this article, we obtain existence and uniqueness results to some problems involving complex nonlinear fractional differential equations (FDEs) in the closed unit disc of C. By help of these results, we prove that some IVPs for some…

The existence of higher derivative discontinuous solutions to a first order ordinary differential equation is shown to reveal a nonlinear SL(2,R) structure of analysis in the sense that a real variable $t$ can now accomplish changes not…

In this paper we aim to show continuous differentiability of weak solutions to a one-Laplace system perturbed by $p$-Laplacian with $1<p<\infty$. The main difficulty on this equation is that uniform ellipticity breaks near a facet, the…

Every o-minimal expansion R-tilde of the real field has an o-minimal expansion P(R-tilde) in which the solutions to Pfaffian equations with definable C^1 coefficients are definable.

A space X is kappa-resolvable (resp. almost kappa-resolvable) if it contains kappa dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X). Answering a problem raised by Juhasz, Soukup, and…

For the $p$-Laplace Dirichlet problem (where $\varphi (t)=t|t|^{p-2}$, $p>1$) \[ \varphi(u'(x))'+ f(u(x))=0 \;\;\;\; \mbox{for $-1<x<1$}, \;\; u(-1)=u(1)=0 \] assume that $f'(u)>(p-1)\frac{f(u)}{u}>0$ for $u>\gamma>0$, while $\int_u^\gamma…