Model Theoretical Generalization of Steinitz’s Theorem

Autores

  • 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

Resumo

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.

Biografia do Autor

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

Downloads

Publicado

2011-01-01

Edição

Seção

Artigos