We show that a suitable abstraction of the notion of term-algebra, called compositum, can be used to capture in a precise mathematical way the intuition that the category of algebras of most (order-sorted) equational theories is completely characterised by their term-model. We also use the relationship between composita and order-sorted equa-tional theories to show that every order-sorted compo...

This paper gives a generalisation of a version of order sorted logic and an abstract axiomatic setting for the treatment of substitution. The two ideas are shown to be related, an equational speciication of term declaration logic being a presentation of a nitary generalised compositum. The axiomatic approach to substitution is compared with some others.

AIMS Arrhythmogenic right ventricular cardiomyopathy (ARVC) is a major cause of juvenile sudden death and is characterized by fibro-fatty replacement of the right ventricle. Mutations in several genes encoding desmosomal proteins have been identified in ARVC. We speculated that αT-catenin, encoded by CTNNA3, might also carry mutations in ARVC patients. Alpha-T-catenin binds plakophilins and thi...

A dult mammalian cardiomyocytes possess little endoge-nous proliferative capacity. This innate limitation underlies our inability to reverse heart failure and improve patient outcome after myocardial injury. The mechanisms that restrict adult mammalian cardiomyocyte proliferation have been the intensely scrutinized, and molecular insights are slowly emerging. 1 In this issue of Circulation Rese...

Traumeel, a combination homoeopathic preparation, has been used successfully for the treatment of trauma, inflammation and degenerative processes for more than 30 years (review in [11]). It has been shown in experimental investigations, primarily in ex-vivo studies in whole-blood cultures to which the individual components of the preparation had been added, that this homoeopathic antihomotoxic ...