Topic: Interconnections
Definability and Invariance
By Newton C. A. da Costa & Alexandre Augusto Martins Rodrigues
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. But Silva's work on the subject is neither wholly clear nor sufficiently rigorous. In this paper we present a rigorous version of the theory, correcting the shortcomings of Silva's exposition and extending some of its main results.
Source: CLE
Of related interest: Remarks on Abstract Galois Theory by Newton C.A. da Costa.
Posted by Tony Marmo
at 02:41 BST
Updated: Friday, 8 July 2005 02:48 BST
