Related papers: A note on ordinal exponentiation and derivatives o…

Let $\mathcal{A}$ be the family of analytic and normalized functions in the open unit disc $|z|<1$. In this article we consider the following classes \begin{equation*} \mathcal{R}(\alpha,\beta):=\left\{ f\in \mathcal{A}: {\rm…

This paper presents a graded hierarchy or chain of binary operations on the reals and the complex numbers. The operations are related distributively in the sense that any one of them distributes over the next lower operation in the chain.…

Assume Vojta's Conjecture. Suppose $a, b, \alpha,\beta \in \mathbb{Z}$, and $f(x),g(x) \in \mathbb{Z}[x]$ are polynomials of degree $d \ge 2$. Assume that the sequence $(f^{\circ n}(a), g^{\circ n}(b))_n$ is generic and $\alpha,\beta$ are…

For functions $f(z)= z+ a_2 z^2 + a_3 z^3 + \cdots$ in various subclasses of normalized analytic functions, we consider the problem of estimating the generalized Zalcman coefficient functional $\phi(f,n,m;\lambda):=|\lambda a_n a_m…

Let G be a reductive connected linear algebraic group over an algebraically closed field of positive characteristic and let g be its Lie algebra. First we extend a well-known result about the Picard group of a semisimple group to reductive…

Let $A$ be a separable, unital, simple C*-algebra with stable rank one. We show that every strictly positive, lower semicontinuous, affine function on the simplex of normalized quasitraces of $A$ is realized as the rank of an operator in…

This monograph elucidates and extends many theorems and conjectures in analytic number theory and algebraic asymptotic analysis via the natural notion of "degree" and a more general notion that we call "logexponential degree." Specifically,…

Let $\alpha\in\,]0,1[$. We prove that the existence of the conformable fractional derivative $T_{\alpha}f$ of a function $f:[0,\infty[\,\longrightarrow \mathbb{R}$ introduced by Khalil et al. in [R. Khalil, M. Al Horani, A. Yousef, M.…

We show that it is provable in PA that there is an arithmetically definable sequence $\{\phi_{n}:n \in \omega\}$ of $\Pi^{0}_{2}$-sentences, such that - PRA+$\{\phi_{n}:n \in \omega\}$ is $\Pi^{0}_{2}$-sound and $\Pi^{0}_{1}$-complete - the…

Recently, it has been shown by Ighachanea and Akkouchia \cite{0.1} that using binomial coefficients, one can derive some new refinements of Holder's inequalities. This inequalities then can be applied to a wide class of special functions…

We develop a unified analytical and dynamical framework for the qualitative study of the one-parameter family of generalized Dirichlet eta functions $\eta_{a}(t)=\sum_{m\ge0}(-1)^{m}(am+1)^{-t}$, $a>0$, $t>0$, which includes the classical…

We construct a functional model for rank one perturbations of compact normal operators acting in a certain Hilbert spaces of entire functions generalizing de Branges spaces. Using this model we study completeness and spectral synthesis…

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…

Let E be the set of integrable and derivable causal functions of x defined on the real interval I from a to infinity, a being real, such f(a) is equal to zero for x lower than or equal to a. We give the expression of one operator that…

We show that no total functional can uniformly transform $\Pi_1$ primality into explicit $\Sigma_1$ witnesses without violating normalization in $\mathsf{HA}$. The argument proceeds through three complementary translations: a geometric…

We study cyclic proof systems for $\mu\mathsf{PA}$, an extension of Peano arithmetic by positive inductive definitions that is arithmetically equivalent to the (impredicative) subsystem of second-order arithmetic $\Pi^1_2$-$\mathsf{CA}_0$…

In \cite{Ca2016} and \cite{Ca2018}, we introduced a notion of effective reducibility between set-theoretical $\Pi_{2}$-statements; in \cite{Ca2025}, this was extended to statements of arbitrary (potentially even infinite) quantifier…

We study multivariate entire functions and polynomials with non-negative coefficients. A class of {\bf Strongly Log-Concave} entire functions, generalizing {\it Minkowski} volume polynomials, is introduced: an entire function $f$ in $m$…

In this work at first the relation the Mittag-Lefler function to the exponential is given. The results are applied to the construction of the solution of Cauchy problem for ordinary linear operator differential equations with constant…

We prove an inversion theorem for the Fourier transform defined for normal functions, in the case when such functions are of moderate decrease, and in dimensions 2 and 3. This improves on Carleson's general almost everywhere convergence…