%0 Journal Article
%T A Model Theoretical Generalization of Steinitz¡¯s Theorem
%A Alexandre Martins Rodrigues
%A Edelcio de Souza
%J Principia : an International Journal of Epistemology
%D 2011
%I Universidade Federal de Santa Catarina, Brasil
%X 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.
%K Strong isomorphism
%K infinitary languages
%K isomorphism extension
%K quantifier elimination.
%U http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n1p107/20556