We generalize to the case of arithmetical transfinite induction the following three theorems for PA: the Wainer Theorem, the Paris–Harrington Theorem, and a version of the Solovay–Ketonen Theorem. We give uniform proofs using combinatorial constructions.

Let f be analytic on the compact set E ⊂ C , of positive transfinite diameter and let Cr denote the largest equipotential curve of E such that f is analytic within Cr. Generally, the growth of an entire function is measured in terms of its order and type. Here we have established the relations between maximum modulus, maximum term and interpolation error of best uniform approximation to a funct...

The small object argument is a transfinite construction which, starting from a set of maps in a category, generates a weak factorisation system on that category. As useful as it is, the small object argument has some problematic aspects: it possesses no universal property; it does not converge; and it does not seem to be related to other transfinite constructions occurring in categorical algebr...

We study the relationship between transfinite diameter, Chebyshev constant and Wiener energy in the abstract linear potential analytic setting pioneered by Choquet, Fuglede and Ohtsuka. It turns out that, whenever the potential theoretic kernel has the maximum principle, then all these quantities are equal for all compact sets. For continuous kernels even the converse statement is true: if the ...

This paper is a contribution to the area of metapredicative proof theory. It continues recent investigations on the transfinitely iterated fixed point theories ÎDα (cf. [10]) and addresses the question of autonomity in iterated fixed point theories. An external and an internal form of autonomous generation of transfinite hierarchies of fixed points of positive arithmetic operators are introduce...

The complete 3D nonlinear dynamic problem of extensible, flexible risers conveying fluid is considered. For describing the dynamics of the system, the Newtonian derivation procedure is followed. The velocity field inside the pipe formulated using hydrostatic and Bernoulli equations. The hydrodynamic effects of external fluids are taken into consideration through the nonlinear drag forces in var...