Model Theoretical Generalization of Steinitz’s Theorem

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 é...

Full description

Saved in:
Bibliographic Details
Published in:Principia (Florianópolis, Brazil) Brazil), 2011-01, Vol.15 (1), p.107-110
Main Authors: Alexandre Martins Rodrigues, Edelcio de Souza
Format: Article
Language:eng ; por
Subjects:
eliminação de quantificadores
extensão de isomorfismo
Isomorfismo forte
linguagens infinitárias
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1414-4247
1808-1711
DOI:10.5007/1808-1711.2011v15n1p107