We present two characterisations of FS domains, using the upper and the lower power domain construction, respectively. These characterisations have a common structure and thus can be generalised from the two power constructions to arbitrary premonads. The resulting classes of domains are considered in general, and some special instances are studied in greater detail. They form classes of domain...

Lower, upper, sandwich, mixed, and convex power domains are isomorphic to domains of second order predicates mapping predicates on the ground domain to logical values in a semiring. The various power domains diier in the nature of the underlying semiring logic and in logical constraints on the second order predicates.

Assembly and maturation of the human immunodeficiency virus type 1 (HIV-1) are governed by the Gag polyprotein. Here we study the conformation and dynamics of a large HIV-1 Gag fragment comprising the matrix, capsid, spacer peptide 1 and nucleocapsid domains (referred to as ΔGag) by heteronuclear multidimensional NMR spectroscopy. In solution, ΔGag exists in a dynamic equilibrium between monome...

A novel upper power domain construction is deened by means of strongly compact sets. Its power domains contain less elements than the classical ones in terms of compact sets, but still admit all necessary operations, i.e. they contain less junk. The notion of strong compactness allows a proof of stronger properties than compactness would, e.g. an intrinsic universal property of the upper power ...