Remarks on abstract Galois theory

Detalhes bibliográficos
Autor(a) principal: Costa,Newton C. A. da
Data de Publicação: 2011
Outros Autores: Bueno,Otávio
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Manuscrito (Online)
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452011000100008
Resumo: This 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.
id UNICAMP-17_0df472f8291add895771b1b6b06888ef
oai_identifier_str oai:scielo:S0100-60452011000100008
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling Remarks on abstract Galois theoryGalois theoryStructuresModelsUniversal theory of structuresMark KrasnerJosé Sebastião e SilvaThis 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.UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência2011-06-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452011000100008Manuscrito v.34 n.1 2011reponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP10.1590/S0100-60452011000100008info:eu-repo/semantics/openAccessCosta,Newton C. A. daBueno,Otávioeng2012-08-24T00:00:00Zoai:scielo:S0100-60452011000100008Revistahttp://www.scielo.br/scielo.php?script=sci_serial&pid=0100-6045&lng=pt&nrm=isoPUBhttps://old.scielo.br/oai/scielo-oai.phpmwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2012-08-24T00:00Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Remarks on abstract Galois theory
title Remarks on abstract Galois theory
spellingShingle Remarks on abstract Galois theory
Costa,Newton C. A. da
Galois theory
Structures
Models
Universal theory of structures
Mark Krasner
José Sebastião e Silva
title_short Remarks on abstract Galois theory
title_full Remarks on abstract Galois theory
title_fullStr Remarks on abstract Galois theory
title_full_unstemmed Remarks on abstract Galois theory
title_sort Remarks on abstract Galois theory
author Costa,Newton C. A. da
author_facet Costa,Newton C. A. da
Bueno,Otávio
author_role author
author2 Bueno,Otávio
author2_role author
dc.contributor.author.fl_str_mv Costa,Newton C. A. da
Bueno,Otávio
dc.subject.por.fl_str_mv Galois theory
Structures
Models
Universal theory of structures
Mark Krasner
José Sebastião e Silva
topic Galois theory
Structures
Models
Universal theory of structures
Mark Krasner
José Sebastião e Silva
description This 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.
publishDate 2011
dc.date.none.fl_str_mv 2011-06-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452011000100008
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452011000100008
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1590/S0100-60452011000100008
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
publisher.none.fl_str_mv UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
dc.source.none.fl_str_mv Manuscrito v.34 n.1 2011
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1748950064861020160

Registros relacionados