A Model Theoretical Generalization of Steinitz’s Theorem
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 pa...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2011-04-01
|
| Series: | Principia: An International Journal of Epistemology |
| Subjects: | |
| Online Access: | http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n1p107/20556 |