Model Theoretical Generalization of Steinitz’s Theorem

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
Main Authors: Alexandre Martins Rodrigues, Edelcio de Souza
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!

Similar Items

Similar Items