Related papers: The reverse mathematics of Cousin's lemma
We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e.…
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 introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a…
This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$-degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2)…
It is by now well-known that one can recover a potential in the wave equation from the knowledge of the initial waves, the boundary data and the flux on a part of the boundary satisfying the Gamma-conditions of J.-L. Lions. We are…
In this paper we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalize the corresponding properties of the class of feasible functions. We also improve the Kapron - Cook…
We study a generalisation of Simpson reversal (also known as Simpson's paradox or the Yule-Simpson effect) to $2 \times 2 \times 2$ contingency tables and characterise the cases for which it can and cannot occur with two…
Generalizing the notion of a tight almost disjoint family, we introduce the notions of a {\em tight eventually different} family of functions in Baire space and a {\em tight eventually different set of permutations} of $\omega$. Such sets…
The quantum duality principle is used to obtain explicitly the Poisson analogue of the kappa-(A)dS quantum algebra in (3+1) dimensions as the corresponding Poisson-Lie structure on the dual solvable Lie group. The construction is fully…
We study the first-order consequences of Ramsey's Theorem for $k$-colourings of $n$-tuples, for fixed $n, k \ge 2$, over the relatively weak second-order arithmetic theory $\mathrm{RCA}^*_0$. Using the Chong-Mourad coding lemma, we show…
The path integral description of the Wess-Zumino-Witten $\to$ Liouville reduction is formulated in a manner that exhibits the conformal invariance explicitly at each stage of the reduction process. The description requires a conformally…
We prove the so-called inverse conjecture for the Gowers U^{s+1}-norm in the case s = 3 (the cases s < 3 being established in previous literature). That is, we establish that if f : [N] -> C is a function with |f(n)| <= 1 for all n and || f…
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…
Let $n\in {\Bbb N}$. An element $a\in R$ has generalized n-strongly Drazin inverse if there exists $x\in R$ such that $xax=x, x\in comm^2(a), a^n-ax\in R^{qnil}.$ For any $a,b\in R$, we prove that $1-ab$ has generalized n-strongly Drazin…
Gauge symmetries play a fundamental role in Physics, as they provide a mathematical justification for the fundamental forces. Usually, one starts from a non-interactive theory which governs `matter', and features a global symmetry. One then…
A combinatorial principle CECA is formulated and its equivalence with GCH+ certain weakenings of Box_lambda for singular lambda is proved. CECA is used to show that certain ``almost point- < tau'' families can be refined to point- < tau…
The so-called covariant Poincare lemma on the induced cohomology of the spacetime exterior derivative in the cohomology of the gauge part of the BRST differential is extended to cover the case of arbitrary, non reductive Lie algebras. As a…
Rado's Conjecture is a compactness/reflection principle that says any nonspecial tree of height $\omega_1$ has a nonspecial subtree of size $\leq \aleph_1$. Though incompatible with Martin's Axiom, Rado's Conjecture turns out to have many…
The Fourier-based analysis customarily employed to analyze the dynamics of a simple pendulum is here revisited to propose an elementary iterative scheme aimed at generating a sequence of analytical approximants of the exact law of motion.…
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…