Related papers: Reverse mathematics and a Ramsey-type K\"onig's Le…
We establish weak-strong uniqueness and stability properties of renormalised solutions to a class of energy-reaction-diffusion systems. The systems considered are motivated by thermodynamically consistent models, and their formal entropy…
Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman…
Weak measurements have an increasing number of applications in contemporary quantum mechanics. They were originally described as a weak interaction that slightly entangled the translational degrees of freedom of a particle to its spin,…
We generalize a theorem by Titchmarsh about the mean value of Hardy's $Z$-function at the Gram points to the Hecke $L$-functions, which in turn implies the weak Gram law for them. Instead of proceeding analogously to Titchmarsh with an…
Motived by the heat flow and bubble analysis of biharmonic mappings, we study further regularity issues of the fourth order Lamm-Riviere system $$\Delta^{2}u=\Delta(V\cdot\nabla u)+{\rm div}(w\nabla u)+(\nabla\omega+F)\cdot\nabla u+f$$ in…
We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT$^2_2$ implies DNR over RCA$_0$ but COH does not, and answer a…
We investigate the existence of weak solutions to a certain system of partial differential equations, modelling the behaviour of a compressible non-Newtonian fluid for small Reynolds number. We construct the weak solutions despite the lack…
We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…
The Weak Gravity Conjecture holds that gravity must be the weakest force. This is true of the familiar forces in our own universe -- electromagnetism, for instance, is many orders of magnitude stronger than gravity. But the bold claim of…
Weak values are quantities accessed through quantum experiments involving weak measurements and post-selection. It has been shown that 'anomalous' weak values (those lying beyond the eigenvalue range of the corresponding operator) defy…
The outcome of a weak quantum measurement conditioned to a subsequent postselection (a weak value protocol) can assume peculiar values. These results cannot be explained in terms of conditional probabilistic outcomes of projective…
Selective ultrafilters are characterized by many equivalent properties, in particular the Ramsey property that every finite colouring of unordered pairs of integers has a homogeneous set in U, and the equivalent property that every function…
This paper is a contribution to the growing investigation of strong reducibilities between $\Pi^1_2$ statements of second-order arithmetic, viewed as an extension of the traditional analysis of reverse mathematics. We answer several…
We present two theorems concerned with algorithmic randomness and differentiability of functions of several variables. Firstly, we prove an effective form of the Rademacher's Theorem: we show that computable randomness implies…
We study a special class of weakly associative algebras: the symmetric Leibniz algebras. We describe the structure of the commutative and skew symmetric algebras associated with the polarization-depolarization principle. We also give a…
The strong maximum principle is proved to hold for weak (in the sense of support functions) sub- and super-solutions to a class of quasi-linear elliptic equations that includes the mean curvature equation for $C^0$ spacelike hypersurfaces…
Motivated by the very recent work of Gao, Y., Chen, J., Wang, J., Zou, H. [Comm. Algebra, 49(8) (2021) 3241-3254; MR4283143], we introduce two new generalized inverses named weak Drazin (WD) and weak Drazin Moore-Penrose (WDMP) inverses for…
We investigate the strength of a randomness notion $\mathcal R$ as a set-existence principle in second-order arithmetic: for each $Z$ there is an $X$ that is $\mathcal R$-random relative to $Z$. We show that the equivalence between…
By revisiting the notion of generalized second fundamental form originally introduced by Hutchinson for a special class of integral varifolds, we define a weak curvature tensor that is particularly well-suited for being extended to general…
The purpose of this paper is to explore more properties and representations of the W-weighted m-weak group (in short, W-m-WG) inverse. We first explore an interesting relation between two projectors with respect to the W-m-WG inverse. Then,…