Free algebras in Von Neumann-Bernays-Gӧdel set theory and positive elementary inductions in reasonable structures

This thesis consists of two independent chapters. The first chapter deals with universal algebra. It is shown, in von Neumann-Bernays-Gӧdel set theory, that free images of partial algebras exist in arbitrary varieties. It follows from this, as set-complete Boolean algebras form a variety, that there exist free set-complete Boolean algebras on any class of generators. This appears to contradict a well-known result of A. Hales and H. Gaifman, stating that there is no complete Boolean algebra on any infinite set of generators. However, it does not, as the algebras constructed in this chapter are allowed to be proper classes. The second chapter deals with positive elementary inductions. It is shown that, in any reasonable structure ᶆ, the inductive closure ordinal of ᶆ is admissible, by showing it is equal to an ordinal measuring the saturation of ᶆ. This is also used to show that non-recursively saturated models of the theories ACF, RCF, and DCF have inductive closure ordinals greater than _ω.

Mellum Island (southern North Sea): dynamic processes and sedimentary structures. I. Southern tidal flat, transition zone and high-surface.[p.72 (Blasensand) only][Translation from: Senckenbergiana Maritima 11, 59-113, 1979]

This partial translation of a longer article describes the phenomenon of ”Blasensand”. Blasensand is formed when sedimentation of dried out sand is suddenly flooded from above. A more detailed explanation of Blasensand is given in this translated part of the paper.

The effect of the group delay ripple of chirped fiber grating on composite second-order in optical fiber CATV system

The effect of group delay ripple of chirped fiber gratings on composite second-order (CSO) performance in optical fiber CATV system is investigated. We analyze the system CSO performances for different ripple amplitudes, periods and residual dispersion amounts in detail. It is found that the large ripple amplitude and small ripple period will deteriorate the system CSO performance seriously. Additionally, the residual dispersion amount has considerable effect on CSO performance in the case of small ripple amplitude and large ripple period. (c) 2004 Elsevier B.V. All rights reserved.

Study and comparison of four forest structures on Mt. Chortiatis (northern Greece)

EL proyecto estudia y analiza la estructura de cuatro bosques en el monte Chortiatis, Grecia.

Normal structures and automorphism groups of t-designs

Combinatorial configurations known as t-designs are studied. These are pairs ˂B, ∏˃, where each element of B is a k-subset of ∏, and each t-design occurs in exactly λ elements of B, for some fixed integers k and λ. A theory of internal structure of t-designs is developed, and it is shown that any t-design can be decomposed in a natural fashion into a sequence of “simple” subdesigns. The theory is quite similar to the analysis of a group with respect to its normal subgroups, quotient groups, and homomorphisms. The analogous concepts of normal subdesigns, quotient designs, and design homomorphisms are all defined and used.

This structure theory is then applied to the class of t-designs whose automorphism groups are transitive on sets of t points. It is shown that if G is a permutation group transitive on sets of t letters and ф is any set of letters, then images of ф under G form a t-design whose parameters may be calculated from the group G. Such groups are discussed, especially for the case t = 2, and the normal structure of such designs is considered. Theorem 2.2.12 gives necessary and sufficient conditions for a t-design to be simple, purely in terms of the automorphism group of the design. Some constructions are given.

Finally, 2-designs with k = 3 and λ = 2 are considered in detail. These designs are first considered in general, with examples illustrating some of the configurations which can arise. Then an attempt is made to classify all such designs with an automorphism group transitive on pairs of points. Many cases are eliminated of reduced to combinations of Steiner triple systems. In the remaining cases, the simple designs are determined to consist of one infinite class and one exceptional case.