Related papers: Fundamental sequences and fast-growing hierarchies…
Building on Buchholz' assignment for ordinals below Bachmann-Howard ordinal, see Buchholz 2003, we introduce systems of fundamental sequences for two kinds of relativized $\vartheta$-function-based notation systems of strength…
Caucal hierarchy is a well-known class of graphs with decidable monadic theories. It were proved by L. Braud and A. Carayol that well-orderings in the hierarchy are the well-orderings with order types less than $\varepsilon_0$. Naturally,…
This paper serves to define an extension, which we call dimensional Veblen, of Oswald Veblen's system of ordinal functions below the large Veblen ordinal. This is facilitated by iterating derivatives of ordinal functions along…
We characterize the weighted Hardy's inequalities for monotone functions in ${\mathbb R^n_+}.$ In dimension $n=1$, this recovers the classical theory of $B_p$ weights. For $n>1$, the result was only known for the case $p=1$. In fact, our…
This is a translation of Heinz Bachmann's influential paper, wherein the Bachmann-Howard ordinal is defined, and some general considerations given on systems of ordinal functions. Permission to post has been granted by the editors of…
In the late 1980s, Abrusci, Girard and van de Wiele defined a variant of Goodstein sequences: the so-called inverse Goodstein sequence. In their work, they show that it terminates precisely at the Bachmann-Howard ordinal. This reveals that…
This is an extended (factor 2.5) version of arXiv:math/0601371 and arXiv:0808.3486. We present new results in the theory of the classical $\theta$-functions of Jacobi: series expansions and defining ordinary differential equations (\odes).…
In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees…
We define a variant of the Goodstein process based on fast-growing functions and show that it terminates, but this fact is not provable in Kripke-Platek set theory or other theories of strength the Bachmann-Howard ordinal. We moreover show…
We present variants of Goodstein's theorem that are equivalent to arithmetical comprehension and to arithmetical transfinite recursion, respectively, over a weak base theory. These variants differ from the usual Goodstein theorem in that…
It is generally accepted that H. Friedman's gap condition is closely related to iterated collapsing functions from ordinal analysis. But what precisely is the connection? We offer the following answer: In a previous paper we have shown that…
A broader class of Hardy spaces and Lebesgue spaces have been introduced recently on the unit circle by considering continuous $\|.\|_1$-dominating normalized gauge norms instead of the classical norms on measurable functions and a Beurling…
We point out the connection of the so-called H\^opital-style rules for monotonicity and oscillation to some well-known properties of concave/convex functions. From this standpoint, we are able to generalize the rules under no…
We revisit weighted Hardy-type inequalities employing an elementary ad hoc approach that yields explicit constants. We also discuss the infinite sequence of power weighted Birman-Hardy-Rellich-type inequalities and derive an operator-valued…
Fast-growing hierarchies are sequences of functions obtained through various processes similar to the ones that yield multiplication from addition, exponentiation from multiplication, etc. We observe that fast-growing hierarchies can be…
We establish a strong unique continuation property for the subelliptic Baouendi operator under the presence of zero-order perturbations satisfying an almost Hardy-type growth condition. In particular, the admissible class includes both…
Given a frequency $\lambda=(\lambda_n)$, we consider the Hardy spaces $ \mathcal{H}_p^\lambda$ of $\lambda$-Dirichlet series $ D = \sum_n a_n e^{-\lambda_n s}$ and study the asymptotic behavior of the upper and lower democracy functions of…
We introduce new classes of general monotone sequences and study their properties. For functions whose Fourier coefficients belong to these classes, we establish Hardy-Littlewood-type theorems.
Recently, Dixit et al. established a very elegant generalization of Hardy's Theorem concerning the infinitude of zeros that the Riemann zeta function possesses at its critical line. By introducing a general transformation formula for the…
We continue the development of the theory of higher dimensional walks on ordinals began recently by Bergfalk. In particular we identify natural coherence conditions on higher dimensional $C$-sequences that entail coherence of the resultant…