REMARKS ON ABSTRACT GALOIS THEORY

Detalhes bibliográficos
Autor(a) principal: Costa, Newton C. A.
Data de Publicação: 2015
Outros Autores: Bueno, Otávio
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642015
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_076e082ee266f2822723f881b596f941
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8642015
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling REMARKS ON ABSTRACT GALOIS THEORYGalois theory. Structures. Models. Universal theory of structures. Mark Krasner. José Sebastião e Silva.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.Universidade Estadual de Campinas2015-11-29info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642015Manuscrito: Revista Internacional de Filosofia; v. 34 n. 1 (2011): Jan./Jun.; 151-183Manuscrito: International Journal of Philosophy; Vol. 34 No. 1 (2011): Jan./Jun.; 151-183Manuscrito: Revista Internacional de Filosofía; Vol. 34 Núm. 1 (2011): Jan./Jun.; 151-1832317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642015/9506Copyright (c) 2015 Manuscritoinfo:eu-repo/semantics/openAccessCosta, Newton C. A.Bueno, Otávio2015-11-29T22:59:43Zoai:ojs.periodicos.sbu.unicamp.br:article/8642015Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2015-11-29T22:59:43Manuscrito (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.
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.
author_facet Costa, Newton C. A.
Bueno, Otávio
author_role author
author2 Bueno, Otávio
author2_role author
dc.contributor.author.fl_str_mv Costa, Newton C. A.
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 2015
dc.date.none.fl_str_mv 2015-11-29
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642015
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642015
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642015/9506
dc.rights.driver.fl_str_mv Copyright (c) 2015 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2015 Manuscrito
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 34 n. 1 (2011): Jan./Jun.; 151-183
Manuscrito: International Journal of Philosophy; Vol. 34 No. 1 (2011): Jan./Jun.; 151-183
Manuscrito: Revista Internacional de Filosofía; Vol. 34 Núm. 1 (2011): Jan./Jun.; 151-183
2317-630X
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_ 1800216565289844736