Related papers: Reverse mathematics and a Ramsey-type K\"onig's Le…

An example shows that weak decoherence is more restrictive than the minimal logical decoherence structure that allows probabilities to be used consistently for quantum histories. The probabilities in the sum rules that define minimal…

A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear orders. Many important subsystems of Second-order Arithmetic…

Computational properties of the Hahn-Banach theorem have been studied in computable, constructive and reverse mathematics and in all these approaches the theorem is equivalent to weak K\H{o}nig's lemma. Gherardi and Marcone proved that this…

We introduce a weak version of the classical length function, termed the weak length function, defined on subsets of $R$-modules over a unital ring $R$, and further consider the concept of mean weak length for $R\Gamma$-modules associated…

We introduce a weak Gurov-Reshetnyak class and discuss its connections to a weak Muckenhoupt $A_\infty$ condition and a weak reverse H\"older inequality in the setting of metric measure spaces with a doubling measure. A John-Nirenberg type…

The univariate extreme value theory deals with the convergence in type of powers of elements of sequences of cumulative distribution functions on the real line when the power index gets infinite. In terms of convergence of random variables,…

We investigate the end extendibility of models of arithmetic with restricted elementarity. By utilizing the restricted ultrapower construction in the second-order context, for each $n\in\mathbb{N}$ and any countable model of…

We propose a new method for constructing Turing ideals satisfying principles of reverse mathematics below the Chain-Antichain Principle (CAC). Using this method, we are able to prove several new separations in the presence of Weak Konig's…

In this paper, we prove first that the iterates of a mean nonexpansive map defined on a weakly compact, convex set converge weakly to a fixed point in the presence of Opial's property and asymptotic regularity at a point. Next, we prove the…

In this article, the weak-strong uniqueness principle is proved for an Euler-Poisson system in the whole space, with initial data so that the strong solution exists. Some results on Riesz potentials are used to justify the considered weak…

Ramsey's theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set H such that all n-element subsets of H have the same color. The strength of consequences of Ramsey's theorem has…

We justify generalisations of weak values from a tentatively relational perspective by deriving them from a generalisation of Bayes' rule. We also argue that these generalisations have implications of quantum nonlocality and may form a…

Let $\Delta=\Delta_1\times\ldots\times \Delta_d\subseteq\mathbb{R}^n$, where $\mathbb{R}^n=\mathbb{R}^{n_1}\times\cdots\times\mathbb{R}^{n_d}$ with each $\Delta_i\subseteq\mathbb{R}^{n_i}$ a non-degenerate simplex of $n_i$ points. We prove…

We demonstrate that techniques of Weihrauch complexity can be used to get easy and elegant proofs of known and new results on initial value problems. Our main result is that solving continuous initial value problems is Weihrauch equivalent…

We extend the weak-strong uniqueness principle to general models of compressible viscous fluids near/on the vacuum. In particular, the physically relevant case of positive density with polynomial decay at infinity is considered.

In this note, we state various generalisations of the Nakano vanishing theorem under weak positivity assumptions, and compare them with the known results.

In this note, we are interested in local-global principles for multinorm equations of the form $\prod_{i=1}^n N_{L_i /k}(z_i) = a$ where $k$ is a global field, $L_i/k$ are finite separable field extensions and $a \in k^*$. In particular, we…

We prove a weak-type estimate for a class of operators extending some of the almost orthogonality issues involved in the study of the bilinear Hilbert transform by Lacey and Thiele.

We consider several formalizations in the language of second-order arithmetic of "The formula $\phi$ is a theorem of $\omega$-logic", including some which have been studied in the literature and a new variant defined via a least fixed…

A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse…