Related papers: Derivatives of normal functions in reverse mathema…

Michael Rathjen and the present author have shown that $\Pi^1_1$-bar induction is equivalent to (a suitable formalization of) the statement that every normal function has a derivative, provably in $\mathbf{ACA_0}$. In this note we show that…

In a recent paper by M. Rathjen and the present author it has been shown that the statement ``every normal function has a derivative'' is equivalent to $\Pi^1_1$-bar induction. The equivalence was proved over $\mathbf{ACA_0}$, for a…

Transformations of well partial orders induce functions on the ordinals, via the notion of maximal order type. In most examples from the literature, these functions are not normal, in marked contrast with the central role that normal…

We introduce a new fractional derivative that generalizes the so-called alternative fractional derivative recently proposed by Katugampola. We denote this new differential operator by $\mathscr{D}_{M}^{\alpha,\beta }$, where the parameter…

In this note the well-ordering principle for the derivative of normal functions on ordinals is shown to be equivalent to the existence of arbitrarily large countable coded omega-models of the well-ordering principle for the function.

A new derivative, called deformable derivative, is introduced here which is equivalent to ordinary derivative in the sense that one implies other. The deformable derivative is defined using limit approach like that of ordinary one but with…

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 introduce a new fractional derivative which obeys classical properties including: linearity, product rule, quotient rule, power rule, chain rule, vanishing derivatives for constant functions, the Rolle's Theorem and the Mean Value…

Perturbation or error bounds of functions have been of great interest for a long time. If the functions are differentiable, then the mean value theorem and Taylor's theorem come handy for this purpose. While the former is useful in…

The L-fractional derivative is defined as a certain normalization of the well-known Caputo derivative, so alternative properties hold: smoothness and finite slope at the origin for the solution, velocity units for the vector field, and a…

Let $\phi$ be a normalized convex function defined on open unit disk $\mathbb{D}$. For a unified class of normalized analytic functions which satisfy the second order differential subordination $f'(z)+ \alpha z f''(z) \prec \phi(z)$ for all…

We discuss some surprising phenomena from basic calculus related to oscillating functions and to the theorem on the differentiability of inverse functions. Among other things, we see that a continuously differentiable function with a strict…

Holderian functions have strong non-linearities, which result in singularities in the derivatives. This manuscript presents several fractional-order Taylor expansions of H\"olderian functions around points of non- differentiability. These…

Peter Aczel has given a categorical construction for fixed points of normal functors, i.e. dilators which preserve initial segments. For a general dilator $X\mapsto T_X$ we cannot expect to obtain a well-founded fixed point, as the order…

In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…

Let T be Goedel's system of primitive recursive functionals of finite type in the lambda formulation. We define by constructive means using recursion on nested multisets a multivalued function I from the set of terms of T into the set of…

A generalized fractional derivative (GFD) definition is proposed in this work. For a differentiable function that can be expanded by Taylor series, we show that D^Elafa*D^Beta f(t)=D^(Elafa+Beta)f(t). GFD is applied for some functions in…

In previous work, the author has shown that $\Pi^1_1$-induction along $\mathbb N$ is equivalent to a suitable formalization of the statement that every normal function on the ordinals has a fixed point. More precisely, this was proved for a…

We prove that conformable ``fractional" differentiability of a function $f:[0,\infty[\,\longrightarrow \mathbb{R}$ is nothing else than the classical differentiability. More precisely, the conformable $\alpha$-derivative of $f$ at some…

A predilator is a particularly uniform transformation of linear orders. We have a dilator when the transformation preserves well-foundedness. Over the theory $\mathsf{ACA}_0$ from reverse mathematics, any $\Pi^1_2$-formula is equivalent to…