
Remarks on abstract Galois theory
2011; UNIVERSIDADE ESTADUAL DE CAMPINAS; Volume: 34; Issue: 1 Linguagem: Inglês
10.1590/s0100-60452011000100008
ISSN2317-630X
AutoresNewton C. A. da Costa, Otávio Bueno,
Tópico(s)Advanced Topology and Set Theory
ResumoThis paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva (see da Costa, Rodrigues (2007)). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva's notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of (set-theoretic) structures.
Referência(s)