Teorema de Keisler-Shelah
El teorema de Keisler-Shelah afirma que dado un lenguaje L arbitrario, dos L-estructuras son elementalmente equivalentes si y sólo si existe un ultrafiltro para el cual sus ultrapotencias son isomorfas. La instancia en la que L es contable es un teorema estándar de la teoría de modelos y su demostra...
- Autores:
-
Soto Moreno, Paulo Andrés
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2019
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/45748
- Acceso en línea:
- http://hdl.handle.net/1992/45748
- Palabra clave:
- Teoría de modelos
Ultraproductos
Isomorfismo (Matemáticas)
Matemáticas
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/4.0/