Related papers: Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$)

This paper explores conditions of existence of different types of consistent tests. New links of these types of consistency are also established. The existence of discernible (strong consistent) tests follows from the existence of pointwise…

A monotonicity property of Harnack inequality is proved for positive invariant harmonic functions in the unit ball.

We prove that the elliptic Harnack inequality (on a manifold, graph, or suitably regular metric measure space) is stable under bounded perturbations, as well as rough isometries.

We obtain an energy inequality on null surfaces $u=const$ in the Bondi-Sachs formalism. We show that for a sufficiently regular event horizon $H$ there is an affine radial coordinate which is constant on $H$. Then the energy inequality can…

We show that the Caffarelli-Kohn-Nirenberg (CKN) inequality holds with a remainder term that is quartic in the distance to the set of optimizers for the full parameter range of the Felli-Schneider (FS) curve. The fourth power is best…

Let G be a finite abelian group of order n. For a complex valued function f on G, let \fht denote the Fourier transform of f. The uncertainty inequality asserts that if f \neq 0 then |supp(f)| |supp(\fht)| \geq n. Answering a question of…

Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$})…

Based on the well-known cardinal characteristics $\mathfrak{s}$, $\mathfrak{r}$ and $\mathfrak{i}$, we introduce nine related cardinal characteristics by using the notion of asymptotic density to characterise different intersection…

G\"odel's second incompleteness theorem is proved for Herbrand consistency of some arithmetical theories with bounded induction, by using a technique of logarithmic shrinking the witnesses of bounded formulas, due to Z. Adamowicz [Herbrand…

Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results in set theory. We show the relative consistency of ZF + DC + there exists a sequence of subsets of R the…

We prove a stability version of the Pr\'ekopa-Leindler inequality.

In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…

We prove a discrepancy estimate related to the sequence of fractional parts of $b^n/n$. This improves an earlier result of Cilleruelo et al.

Recently we have reanalyzed the consistency of the solutions of the space fractional Schr\"odinger equation found in a piecewise manner, and showed that an exact and a proper treatment of the relevant integrals prove that they are…

We continue investigating variants of the splitting and reaping numbers introduced in arXiv:1808.02442. In particular, answering a question raised there, we prove the consistency of $\mathrm{cof}(\mathcal{M})<\mathfrak{s}_{\frac{1}{2}}$ and…

It is shown that a natural notion of congruence permutability for quasivarieties already implies ``being a variety''. The result follows immediately from [3] and the sole aim of this note is to state it explicitly, together with a…

In this paper we establish an estimate for the rate of convergence of the Krasnosel'ski\v{\i}-Mann iteration for computing fixed points of non-expansive maps. Our main result settles the Baillon-Bruck conjecture [3] on the asymptotic…

Let $D$ be an bounded region in ${\bf R}^n$. The regularity of solutions of a family of quasilinear elliptic partial differential equations is studied, one example being $\Delta_nu=Vu^{n-1}$. The coefficients are assumed to be in the space…

Inconsistency Robustness is performance of information systems with pervasively inconsistent information. Inconsistency Robustness of the community of professional mathematicians is their performance repeatedly repairing contradictions over…

By using a spectral analysis, we first show that the Caffarelli--Kohn--Nirenberg inequality with gradient remainder term of any order less than $4$ does not hold on the {\em Felli-Schneider} curve $b_{\mathrm{FS}}(a)$. Furthermore, we prove…