Related papers: Extending the Veblen Function
We extend the classical length function to an ordinal-valued invariant on the class of all finite-dimensional Noetherian modules. We show how to calculate this combinatorial invariant by means of the fundamental cycle of the module, thus…
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,…
We deduce an extension theorem for the so-called Sobolev-Grand Lebesgue Spaces defined on the suitable subsets of the whole finite-dimensional Euclidean space, and estimate the norms of correspondent extension operator, which may be choosed…
Functions like the exponential, Chebyshev polynomials, and monomial symmetric polynomials are preeminent among all special functions. They have simple definitions and can be expressed using easily specified integers like n!. Families of…
By means of the direct limit technique, with every normed space X it is associated a bidualic (Banach) space $\tilde{X} (D^2( \tilde{X}) \cong \tilde{X} $ - called the hyperdual of $X$) that contains (isometrically embedded) $X$ as well as…
We develop the bivector formalism in higher dimensional Lorentzian spacetimes. We define the Weyl bivector operator in a manner consistent with its boost-weight decomposition. We then algebraically classify the Weyl tensor, which gives rise…
I consider the expansion of transcendental functions in a small parameter around rational numbers. This includes in particular the expansion around half-integer values. I present algorithms which are suitable for an implementation within a…
We enumerate total cyclic orders on $\left\{1,\ldots,n\right\}$ where we prescribe the relative cyclic order of consecutive triples $(i,{i+1},{i+2})$, these integers being taken modulo $n$. In some cases, the problem reduces to the…
In this article, in order to the minimal operator generated by the first-order differential-operator expression in the weighted Hilbert space of vector functions in the finite interval to be formal normal, the relationship between the…
This paper is an edited and shortened version of Chapter 6 from the thesis of the author. First the one dimensional orthogonal derivative will be extended to the two-dimensional case. In the two-dimensional case we have to define the region…
An order theoretic and algebraic framework for the extended real numbers is established which includes extensions of the usual difference to expressions involving $-\infty$ and/or $+\infty$, so-called residuations. Based on this,…
Given a compact of ${\bf R}^n$, there is always a doubling measure having it as its support. We use this fact to construct an integral operator that extends differentiable functions defined on any compact set of ${\bf R}^n$ to the whole of…
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…
In this paper we consider finite dimensional dynamical systems generated by a Lipschitz function. We prove a version of the Whitney's Extension Theorem on compact manifolds to obtain a version of the well-known Lambda Lemma for Lipschitz…
While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…
The decomposition in partial fractions of the quotient of Pochhammer symbols improves considerably a method, suggested in a precedent paper, which allows one to obtain the $\varepsilon$-expansion of functions of the hypergeometric class.…
The orthogonal derivative is defined as a limit of an integral whose kernel contains an orthogonal polynomial with its measure. When in practice no limit is taken, it means that the accuracy of the derivative depends on the second…
The technique of vector differentiation is applied to the problem of the derivation of multipole expansions in four-dimensional space. Explicit expressions for the multipole expansion of the function $r^n C_j (\hr)$ 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…
We give a statement on extension with estimates of convex functions defined on a linear subspace, inspired by similar extension results concerning metrics on positive line bundles