A Model Theoretical Generalization of Steinitz’s Theorem
Vol 15, No 1 (2011) • Principia: an international journal of epistemology
Autor: Alexandre Martins Rodrigues, Edelcio de Souza
Abstract:
Infinitary languages are used to prove that any strong isomorphism of substructures of isomorphic structures can be extended to an isomorphism of the structures. If the structures are models of a theory that has quantifier elimination, any isomorphism of substructures is strong. This theorem is a partial generalization of Steinitz’s theorem for algebraically closed fields and has as special case the analogous theorem for differentially closed fields. In this note, we announce results which will be proved elsewhere.
ISSN: 1414-4217
DOI: DOI: 10.5007/1808-1711.2011v15n1p107
Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n1p107/20556
Palavras-Chave: Strong isomorphism; infinitary languages; iso
Principia: an international journal of epistemology
!["PRINCIPIA]("http://anpof.org/portal/images/portal_periodicos_eletronicos_2017/PRINCIPIA-CABECALHO.jpg")
"Principia: an international journal of epistemology" was founded in 1997 and regularly publishes articles, discussions and review. The journal aims to publish original scholarly work especially in epistemology area , with an emphasis on material of general interest to academic philosophers. Originally published only in print version (ISSN: 1414-4247), in 2005 the journal began to be published also in online version (ISSN: 1808-1711). Since 1999 are published three issues per year: in April, August and December. Qualis CAPES: A2