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...

Full description

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
Acceso en línea:
https://noesis.uis.edu.co/handle/20.500.14071/9757
https://noesis.uis.edu.co
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)