Related papers: Normal functions and maximal order types
In this paper we shall use realization theory to prove new results about a class of holomorphic functions on an annulus \[R_\delta \stackrel{\rm def}{=} \{z \in \mathbb{C}: \delta <|z|<1\},\] where $0<\delta<1$. The class of functions in…
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…
We discuss the regularity of extremal functions in certain weighted Bergman and Fock type spaces. Given an appropriate analytic function $k$, the corresponding extremal function is the function with unit norm maximizing $\text{Re}…
We prove simple theorems concerning the maximal order of a large class of multiplicative functions. As an application, we determine the maximal orders of certain functions of the type $\sigma_A(n)= \sum_{d\in A(n)} d$, where A(n) is a…
Regular functions of infinite words are (partial) functions realized by deterministic two-way transducers with infinite look-ahead. Equivalently, Alur et. al. have shown that they correspond to functions realized by deterministic Muller…
One of the elegant achievements in the history of proof theory is the characterization of the provably total recursive functions of an arithmetical theory by its proof-theoretic ordinal as a way to measure the time complexity of the…
Well-partial orders, and the ordinal invariants used to measure them, are relevant in set theory, program verification, proof theory and many other areas of computer science and mathematics. In this article we focus on one of the most…
In this paper we introduce hyperations and cohyperations, which are forms of transfinite iteration of ordinal functions. Hyperations are iterations of normal functions. Unlike iteration by pointwise convergence, hyperation preserves…
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…
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…
Due to the fundamental works of T. Ando, W. Szyma\'nski, F. H. Szafraniec, and many others it is well known that sesquilinear forms play an important role in dilation theory. The crucial fact is that every positive definite operator…
We first prove De Giorgi type level estimates for functions in $W^{1,t}(\Omega)$, $\Omega\subset\mathbb{R}^N$, with $t>N\geq 2$. This augmented integrability enables us to establish a new Harnack type inequality for functions which do not…
A dilator is a particularly uniform transformation $X\mapsto T_X$ of linear orders that preserves well-foundedness. We say that $X$ is a Bachmann-Howard fixed point of $T$ if there is an almost order preserving collapsing function…
In 1958, Helson and Lowdenslager extended the theory of analytic functions to a general class of groups with ordered duals. In this context, analytic functions on such a group $G$ are defined as the integrable functions whose Fourier…
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…
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…
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…
We define a class of discrete operators acting on infinite, finite or periodic sequences mimicking the standard properties of pseudo-differential operators. In particular we can define the notion of order and regularity, and we recover the…
We define the concept of completely regular ordinary differential operators and give various criteria for operators to belong to this class. We give also criteria for Birkhof regularity of ordinary differential operators in terms of the…
We construct a new kind of measures, called projection families, which generalize the classical notion of vector and operator-valued measures. The maximal class of reasonable functions admits an integral with respect to a projection family,…