Aplicación del método "back and forth" de teoría de modelos a órdenes lineales y al grafo universal
Dadas dos estructuras relaciones $(A,R)$ y $(B,S)$, isomorfas, el método \textit{"back and forth"}, de la teoría de modelos, nos permite construir una colección de isomorfismos parciales entre las dos estructuras, de tal manera que la unión de todos los isomorfismos de esa colección nos ge...
- Autores:
-
Barajas Rincón, Rosa Ximena
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2022
- Institución:
- Universidad Industrial de Santander
- Repositorio:
- Repositorio UIS
- Idioma:
- spa
- OAI Identifier:
- oai:noesis.uis.edu.co:20.500.14071/9757
- Palabra clave:
- Método "back and forth"
Isomorfismo
Isomorfismos parciales
Estructuras relacionales
Órdenes lineales
La Clase de tipos de orden
Grafos aleatorios
Grafos no dirigidos
Grafo universal
"Back and forth" method
Isomorphism
Partial isomorphisms
Relational structures
Linear orders
The class of order types
Random graphs
Undirected graphs
Universal graph
- Rights
- openAccess
- License
- Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)