Model Theoretical Generalization of Steinitz’s Theorem

• Rodrigues, Alexandre Martins ^[1] ; Souza, Edelcio de ^[2]
  1. [1] Universidade de São Paulo

     Universidade de São Paulo

     Brasil

     
  2. [2] Pontifícia Universidade Católica de São Paulo

     Pontifícia Universidade Católica de São Paulo

     Brasil

     
• Localización: Principia: an international journal of epistemology, ISSN-e 1808-1711, Vol. 15, Nº. 1, 2011, págs. 107-110
• Idioma: portugués
• Títulos paralelos:
  • A Model Theoretical Generalization of Steinitz’s Theorem
• Enlaces
  • Texto completo (pdf)
• Resumen
  • English

    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.DOI: 10.5007/1808-1711.2011v15n1p107 

  • português

    Linguagens infinitárias são utilizadas para provar que qualquer isomorfismo forte de subestruturas de estruturas isomorfas pode ser estendido para um isomorfismo das estruturas. Se as estruturas são modelos de teorias que admitem eliminação de quantificadores, qualquer isomorfismo de subestruturas é forte. Este teorema é uma generalização parcial do teorema de Steinitz para corpos algebricamente fechados e tem como caso especial o teorema análogo para os corpos diferencialmente fechados. Nesta nota, anunciamos resultados que serão demonstrados em um trabalho posterior. DOI: 10.5007/1808-1711.2011v15n1p107