In his thesis 'Para uma Teoria Geral dos Homomorfismos' (1944) the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, (...) we tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, (...) we tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

This book presents a new view point on some problems of semantics within the framework of the Meaning - Text model introduced to linguistics by I. A. Mel'čuk, A. K. Zolkovskij and Ju. D. Apresjan. In addition to some new formalisms and concepts it provides a great number of specific informal semantic analyses and thus gives a good idea of Apresjan's approach to semantics. Zsfassung in engl. Sprache: Types of information for the surface- semantic component of the 'meaning - text' (...) model. Zsfassung in engl. Sprache: Types of information for the surface- semantic component of the 'meaning - text' model. (shrink)