We establish natural criteria under which normally iterable premice are for stacks of normal trees. Let [Formula: see text] be a regular uncountable cardinal. and an text]-sound premouse text]-iteration strategy (roughly, text]-strategy). define condensation property iteration strategies, inflation condensation. show that if has then is text]-iterable length trees each text]), moreover, we spec...

In this paper we study the combinatorial structure of the Hawaiian earring group, by showing that it can be represented as a group of transfinite words on a countably infinite alphabet exactly analogously to the representation of a finite rank free group as finite words on a finite alphabet. We define a big free group similarly as the group of transfinite words on given set, and study their gro...

MODELS OF TRANSFINITE REDUCTIONS

Let assume that Alice, Bob, and Charlie, the three classical people of cryptography are not limited anymore to perform a finite number of computations on real computers, but are limited to α computations and to α bits of memory, where α is a fixed infinite cardinal. For example α = א0 (the countable cardinal, i.e. the cardinal of N the set of integers), or α = C (the cardinal of the set R of re...

This paper presents a new super-element with twelve degrees of freedom for latticed columns. This elements is developed such that it behaves, with an acceptable approximation, in the same manner as a reference model does. The reference model is constructed by using many Solid elements. The cross section area, moments of inertia, shear coefficient and torsoinal rigidity of the developed new elem...

Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from the set of worlds to the set of ordinals. But in subsequent paper by Spohn and others, OCFs are just used as functions from the set of worlds to natural numbers (plus eventually +∞). The use of transfinite ordinals in this frame...

In this paper a variable-free parametric representation of manifolds is discussed, using transfinite interpolation or approximation, i.e. function blending in some functional space. This is a powerful approach to generation of curves, surfaces and solids (and even higher dimensional manifolds) by blending lower dimensional vector-valued functions. Transfinite blending, e.g. used in Gordon-Coons...