Related papers: Cousin's lemma in second-order arithmetic
We introduce a variant of the multiplicative Sewing Lemma in [Gerasimovi\v{c}s, Hocquet, Nilssen; J. Funct. Anal. 281 (2021)] which yields arbitrary high order weak approximations to stochastic differential equations, extending the cubature…
We establish a Sewing lemma in the regime $\gamma \in \left( 0, 1 \right]$, constructing a Sewing map which is neither unique nor canonical, but which is nonetheless continuous with respect to the standard norms. Two immediate corollaries…
Since being isolated by Viale and Weiss in 2009, the Guessing Model Property has emerged as a particularly prominent and powerful consequence of the Proper Forcing Axiom. In this paper, we investigate connections between variations of the…
By the second mean-value theorem of calculus (Gauss-Bonnet theorem) we prove that the class of functions ${\mit \Xi}(z)$ with an integral representation of the form $\int_{0}^{+\infty}du\,{\mit \Omega}(u)\,{\rm ch}(uz)$ with a real-valued…
We study inequalities between general integral moduli of continuity of a function and the tail integral of its Fourier transform. We obtain, in particular, a refinement of a result due to D. B. H. Cline [2] (Theorem 1.1 below). We note that…
We study here a sequence of secondary measures, so called because the set of secondary polynomials on a given term become orthogonal for the next measure. The main result is a formula making explicit the density of any term of the sequence,…
We examine regularity and basis properties of the family of rescaled $p$-cosine functions. We find sharp estimates for their Fourier coefficients. We then determine two thresholds, $p_0<2$ and $p_1>2$, such that this family is a Schauder…
We prove two-sided inequalities between the integral moduli of smoothness of a function on $\mathbb{R}^d/\mathbb{T}^d$ and the weighted tail-type integrals of its Fourier transform/series. Sharpness of obtained results in particular is…
The Riemann-Lebesque Theorem is commonly proved in a few strokes using the theory of Lebesque integration. Here, the upper bound $2\pi|c_k(f)|\le S_k(f)-s_k(f)$ for the Fourier coefficients $c_k$ is proved in terms of majoring and minoring…
We study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due to Carlson and Simpson. These theorems have multiple applications in Ramsey's theory, such as the existence of finite big Ramsey numbers for the…
This paper establishes the equivalence of the Aubin property and the strong regularity for generalized equations over $C^2$-cone reducible sets. This result resolves a long-standing question in variational analysis and extends the…
We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If…
We give a brief account and a simpler proof of a contour integral formula for the Gauss hypergeometric function. Such formula is alternative to Barnes's integral formula and generalizes the first Barnes Lemma.
Our main aim is to investigate the approximation properties for the summation integral type operators in a statistical sense. In this regard, we prove the statistical convergence theorem using well known Korovkin theorem and the degree of…
The Kruskal-Friedman theorem asserts: in any infinite sequence of finite trees with ordinal labels, some tree can be embedded into a later one, by an embedding that respects a certain gap condition. This strengthening of the original…
Given any light position S in the complex projective plane P^2 and any algebraic curve C of P^2 (with any kind of singularities), we consider the incident lines coming from S (i.e. the lines containing S) and their reflected lines after…
We prove an invariance principle for functions on a slice of the Boolean cube, which is the set of all vectors {0,1}^n with Hamming weight k. Our invariance principle shows that a low-degree, low-influence function has similar distributions…
Reflection principles (or dually speaking, compactness principles) often give rise to combinatorial guessing principles. Uniformization properties, on the other hand, are examples of anti-guessing principles. We discuss the tension and the…
We present a new expression for the partition function of refined Chern-Simons theory on $S^3$ with arbitrary gauge group, which is explicitly equal to $1$, when the coupling constant is zero. Using this form of partition function we show…
In this paper, we establish a coupling lemma for standard families in the setting of piecewise expanding interval maps with countably many branches. Our method merely requires that the expanding map satisfies Chernov's one-step expansion at…