This paper concerns properties of interpretations between first-order theories in intuitionistic logic, and in particular how certain syntactic properties of such interpretations can be characterised by their model-theoretic properties. We allow theories written in possibly many-sorted languages. Given two such theories 3 and 7, an interpretation of 3 in 3’ will here mean a model of 3 in the ‘f...

Two sympatric species Helicoverpa armigera and Helicoverpa assulta use (Z)-11-hexadecenal and (Z)-9-hexadecenal as sex pheromone components in reverse ratio. They also share several other pheromone gland components (PGCs). We present a comparative study on the olfactory coding mechanism and behavioral effects of these additional PGCs in pheromone communication of the two species using single se...

The incision of DNA at apurinic/apyrimidinic sites (AP-sites) by chloro-6-methoxy-2 [(adenyl-9)-11)-4,8 diazadecyl]amino-9 acridine (Ade-Z-Acr), a 9-aminoacridine linked to an adenine, at nanomolar concentrations is described. Moreover, this drug, Ade-Z-Acr, is one of the most efficient drugs which cleaves DNA at AP-sites. The high activity is the result of the composition of the drug, since th...

Several males of Heliothis belladonna (Henry and Edwards) were initially captured in traps baited with commercial pheromone lures for the corn earworm moth, Helicoverpa zea (Boddie). Significant numbers of H. belladonna moths were subsequently captured in traps baited with a 4-component blend of corn earworm pheromone composed of Z-11-hexadecenal, Z-9-hexadecenal, Z-7-hexadecenal, and hexadecen...

Nineteen carotenoids were identified in extracts of petals of orange- and yellow-flowered cultivars of calendula (Calendula officinalis L.). Ten carotenoids were unique to orange-flowered cultivars. The UV-vis absorption maxima of these ten carotenoids were at longer wavelengths than that of flavoxanthin, the main carotenoid of calendula petals, and it is clear that these carotenoids are respon...

All maximal finite (absolutely) irreducible subgroups of GL(S, Z) are determined up to Z-equivalence. Moreover, we present a full set of representatives of the Z-classes of the maximal finite irreducible subgroups of GL(n, Z) for n < 9 by listing generators of the groups, the corresponding quadratic forms fixed by these groups, and the shortest vectors of these forms.

Galois connections play a very important role in the theory of continuous lattices and their various generalizations. (See, for example, [1], [2], [a], [4], [5], [7] and [9].) Morphisms of continuous lattices, as defined in [2], are precisely those upper adjoints of Galois connections which preserve directed sups. In [1] Bandelf and Ernd suggested that the right choice of morphisms for Z-contin...