Related papers: Bachmann-Howard Derivatives
Harvey Friedman's gap condition on embeddings of finite labelled trees plays an important role in combinatorics (proof of the graph minor theorem) and mathematical logic (strong independence results). In the present paper we show that the…
These lecture notes introduce central notions of impredicative ordinal analysis, such as the Bachmann-Howard ordinal and the method of collapsing, which transforms uncountable proof trees into countable ones. Specifically, we analyze…
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…
A natural consequence of the fractional calculus is its extension to a matrix order of differentiation and integration. A matrix-order derivative definition and a matrix-order integration arise from the generalization of the gamma function…
In this article we investigate whether the addition-free theta functions form a canonical notation system for the linear versions of Friedman's well-partial-orders with the so-called gap-condition over a finite set of labels. Rather…
We present a detailed study of a scalar differential equation with threshold state-dependent delayed feedback. This equation arises as a simplification of a gene regulatory model. There are two monotone nonlinearities in the model: one…
In order to describe more complex problem using the concept of fractional derivatives, we introduce in this paper the concept of fractional derivatives with orders. The new definitions are based upon the concept of power law together with…
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…
In this paper a higher order non-linear differential equation is given and it becomes a higher order Airy equation (in our terminology) under the Cole-Hopf transformation. For the even case a solution is explicitly constructed, which is a…
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…
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…
We prove that Buchholz's system of fundamental sequences for the $\vartheta$ function enjoys various regularity conditions, including the Bachmann property. We partially extend these results to variants of the $\vartheta$ function,…
We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined…
The tree-loop duality relation is used as a starting point to derive the constraints of causality and unitarity. Specifically, the Bogoliubov causality condition is ab initio derived at the individual graph level. It leads to a…
Prime numbers appeared in contexts spanning statistical mechanics, quantum mechanics and dynamical systems. However, the mechanisms governing the irregularities observed in their sequence and linking them to physical systems remained…
We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures, and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general…
Ostrogradsky instability generally appears in nondegenerate higher-order derivative theories and this issue can be resolved by removing any existing degeneracy present in such theories. We consider an action involving terms that are at most…
In this work we present a Gaussian process that arise from the iteration of p fractional Ornstein-Uhlenbeck processes generated by the same fractional Brownian motion. This iteration results, when the values of lambdas are pairwise…
We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures, and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general…
We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman's neat…