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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2011-01-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/22569 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850066242507898880 |
|---|---|
| author | Alexandre Martins Rodrigues Edelcio de Souza |
| author_facet | Alexandre Martins Rodrigues Edelcio de Souza |
| author_sort | Alexandre Martins Rodrigues |
| collection | DOAJ |
| description |
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.
|
| format | Article |
| id | doaj-art-d087ecaa9dae4ee48b2a6b7201de8ed9 |
| institution | DOAJ |
| issn | 1808-1711 |
| language | English |
| publishDate | 2011-01-01 |
| publisher | Universidade Federal de Santa Catarina |
| record_format | Article |
| series | Principia: An International Journal of Epistemology |
| spelling | doaj-art-d087ecaa9dae4ee48b2a6b7201de8ed92025-08-20T02:48:49ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1808-17112011-01-0115110.5007/1808-1711.2011v15n1p10716926Model Theoretical Generalization of Steinitz’s TheoremAlexandre Martins Rodrigues0Edelcio de Souza1Departamento de Matemática Universidade de São Paulo, USPPontifícia Universidade Católica de São Paulo Programa de Estudos Pós-Graduados em Filosofia Departamento de Filosofia Faculdade de São Bento 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. https://periodicos.ufsc.br/index.php/principia/article/view/22569 |
| spellingShingle | Alexandre Martins Rodrigues Edelcio de Souza Model Theoretical Generalization of Steinitz’s Theorem Principia: An International Journal of Epistemology |
| title | Model Theoretical Generalization of Steinitz’s Theorem |
| title_full | Model Theoretical Generalization of Steinitz’s Theorem |
| title_fullStr | Model Theoretical Generalization of Steinitz’s Theorem |
| title_full_unstemmed | Model Theoretical Generalization of Steinitz’s Theorem |
| title_short | Model Theoretical Generalization of Steinitz’s Theorem |
| title_sort | model theoretical generalization of steinitz s theorem |
| url | https://periodicos.ufsc.br/index.php/principia/article/view/22569 |
| work_keys_str_mv | AT alexandremartinsrodrigues modeltheoreticalgeneralizationofsteinitzstheorem AT edelciodesouza modeltheoreticalgeneralizationofsteinitzstheorem |