Related papers: A dichotomy for Borel functions
For each subset of Baire space, we define, in away similar to a common proof of the Cantor-Bendixson Theorem, a sequence of decreasing subsets S_alpha of N^N, indexed by ordinals. We use this to obtain two new characterizations of the…
A locally checkable labeling problem (LCL) on a group $\Gamma$ asks one to find a labeling of the Cayley graph of $\Gamma$ satisfying a fixed, finite set of "local" constraints. Typical examples include proper coloring and perfect matching…
We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification…
Given a Taylor series with a finite radius of convergence, its Borel transform defines an entire function. A theorem of P\'olya relates the large d istance behavior of the Borel transform in different directions to singularities of the…
We show that Sobczyk's Theorem holds for a new class of Banach spaces, namely spaces of continuous functions on linearly ordered compacta.
This treatise investigates holomorphic functions defined on the space of bicomplex numbers introduced by Segre. The theory of these functions is associated with Fueter's theory of regular, quaternionic functions. The algebras of quaternions…
The \emph{Filter Dichotomy} says that every uniform nonmeager filter on the integers is mapped by a finite-to-one function to an ultrafilter. The consistency of this principle was proved by Blass and Laflamme. A function between topological…
Euler discovered a formula for expressing the value of the Riemann zeta function for all even positive integer arguments. A closed-form expression for the Riemann zeta function for all odd integer arguments, based on the values of the…
The following result has been shown recently in the form of a dichotomy: For every total clone $C$ on $\mathbf{2} := \{0,1\}$, the set $\mathcal{I}(C)$ of all partial clones on $\mathbf{2}$ whose total component is $C$, is either finite or…
Given an abelian variety $A$ over a global function field $K$ of characteristic $p>0$ and an irreducible complex continuous representation $\psi$ of the absolute Galois group of $K$, we obtain a BSD-type formula for the leading term of…
We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of…
We show that a version of the desingularization theorem of Hironaka holds for certain classes of infinitely differentiable functions (essentially, for subrings that exclude flat functions and are closed under differentiation and the…
Assume that $f$ is Dunkl polyharmonic in $\mathbb{R}^n$ (i.e. $(\Delta_h)^p f=0$ for some integer $p$, where $\Delta_h$ is the Dunkl Laplacian associated to a root system $R$ and to a multiplicity function $\kappa$, defined on $R$ and…
A theorem of Sierpi\'nski says that every infinite set Q of reals contains an infinite number of disjoint subsets whose outer Lebesgue measure is the same as that of Q. He also has a similar theorem involving the Baire property. We give a…
We study the Borel map, which maps infinitely differentiable functions on an interval to the jets of their Taylor coefficients at a given point in the interval. Our main results include a complete description of the image of the Borel map…
We prove the continuity of Sobolev functions $\varphi \in W^{1,n}_{\mathrm{loc}}(\Omega)$, $\Omega \subset \mathbb{R}^n$, that satisfy \[ \lvert\nabla \varphi(x)\rvert^n \le K(x)\bigl(\langle \nabla \varphi(x), \xi(x)\rangle + A(x)\bigr),…
We present some novelties on the Riemann zeta function. Using an extended formula created for the polylogarithm in a previous paper, $\mathrm{Li}_{k}(e^{z})$, the zeta function's Dirichlet series is analytically continued from $\Re(k)>1$ to…
We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any…
We construct a single explicit entire function $\Xi_c(s)$ of order 1, with all zeros provably on $Re(s) = 1/2$, satisfying a functional equation $\Xi_c(s) = \Xi_c(1-s)$, whose normalized form $Z_c(s) =…
The present paper is a continuation of our work [11], where we introduced a fractional operator calculus related to a fractional ${\psi}-$Fueter operator in the one-dimensional Riemann-Liouville derivative sense in each direction of the…