We give an explicit description of the homology group Hn(p) of a strong type p in any stable theory under the assumption that for every non-forking extension q of p the groups Hi(q) are trivial for 2 ≤ i < n. The group Hn(p) turns out to be isomorphic to the automorphism group of a certain piece of the algebraic closure of n independent realizations of p; it was shown earlier by the authors tha...

We present a property of neat reducts commuting with forming subalgebras as a definability condition. The purpose of this paper is to relate results on neat reducts, a notion particular to cylindric algebras to results on the “more universal” strong amalgamation property in a very general setting. It is known [7], [8] and [6] that amalgamation properties in a class of algebras correspond to int...

We prove that for each ,nite core graph G, the class of all graphs admitting a homomorphism into G is a pseudo-amalgamation class, in the sense of Fra01ss2 e. This fact gives rise to a countably in,nite universal pseudo-homogeneous graph which shares some of the properties of the in,nite random graph. Our methods apply simultaneously to G-colourings in several classes of relational structures, ...

Associated to each elliptic root system, we introduce a Lie algebra as an amalgamation of an a ne Kac-Moody algebra and a generalization of a Heisenberg algebra. The derived algebra of the amalgamation algebra is shown to be the universal central extension of a certain twisted loop algebra of two variables.

Electro-Fluidic Displays (EFD) have been demonstrated to be an attractive technology for incorporation into portable display devices. EFDs have excellent optical efficiency and fast switching enabling video content. Ensuring mechanical stability of EFD display cells is a key challenge and essential for developing large area as well as flexible displays. Although the electro-optic performance of...

Let $f: Arightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we investigate the transfer of the property of coherence to the amalgamation $Abowtie^{f}J$. We provide necessary and sufficient conditions for $Abowtie^{f}J$ to be a coherent ring.

Deductive object-oriented databases advocate the advantage of combining object-oriented and deductive paradigms into a single data model. Certainly, the query language in such a data model has to reeect the amalgamation because it works as the interface to the user and/or application program. This paper proposes a language to formulate queries as classes related to the schema classes and constr...

One of the most important issues in the development of software product lines is the elicitation, management, and representation of the variability. In this context, one of the most used instruments is the feature model. But a feature model (due to the open definition of feature) usually contains an amalgamation of various different variability aspects as structural, behavioral, non-functional,...

Incorporating aspect-oriented paradigm to a polymorphically typed functional language enables the declaration of type-scoped advice, in which the effect of an aspect can be harnessed by introducing possibly polymorphic type constraints to the aspect. The amalgamation of aspect orientation and functional programming enables quick behavioral adaption of functions, clear separation of concerns and...