A Model Theoretical Generalization of Steinitz’s Theorem

Authors

  • Alexandre Martins Rodrigues Departamento de Matemática Universidade de São Paulo, USP
  • Edelcio de Souza Pontifícia Universidade Católica de São Paulo Programa de Estudos Pós-Graduados em Filosofia Departamento de Filosofia Faculdade de São Bento

DOI:

https://doi.org/10.5007/1808-1711.2011v15n1p107

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.

Author Biographies

Alexandre Martins Rodrigues, Departamento de Matemática Universidade de São Paulo, USP

Departamento de Matemática

Universidade de São Paulo, USP

Edelcio de Souza, Pontifícia Universidade Católica de São Paulo Programa de Estudos Pós-Graduados em Filosofia Departamento de Filosofia Faculdade de São Bento

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

Programa de Estudos Pós-Graduados em Filosofia

Departamento de Filosofia

Faculdade de São Bento

Published

2011-01-01

Issue

Section

Articles