Objetos inyectivos en estructuras residuadas. Forma algebraica del teorema de Cantor - Bernstein - Schröder
La presente tesis es un estudio de objetos inyectivos en clases de estructuras residuadas asociadas con la lógica y del teorema de Cantor - Bernstein - Schröder. En la primera parte se investigan inyectivos y retractos absolutos en clases de retículos residuados y pocrims. Algunas de las clases cons...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 2004 |
| País: | Argentina |
| Institución: | Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Repositorio: | Biblioteca Digital (UBA-FCEN) |
| Idioma: | español |
| OAI Identifier: | tesis:tesis_n3775_Freytes |
| Acceso en línea: | https://hdl.handle.net/20.500.12110/tesis_n3775_Freytes |
| Access Level: | acceso abierto |
| Palabra clave: | OBJETOS INYECTIVES RETRACTOS ABSOLUTOS RETICULOS RESIDUADOS BL-ALGEBRAS ELEMENTOS CENTRALES VARIEDADES INJECTIVE OBJECTS ABSOLUTE RETRACTS RESIDUATED LATTICES CENTRAL ELEMENTS VARIETIES |
| Sumario: | La presente tesis es un estudio de objetos inyectivos en clases de estructuras residuadas asociadas con la lógica y del teorema de Cantor - Bernstein - Schröder. En la primera parte se investigan inyectivos y retractos absolutos en clases de retículos residuados y pocrims. Algunas de las clases consideradas son las MTL-álgebras, IMTL-álgebras, BL-álgebras, NM-álgebras y los hoops acotados. En la segunda parte es desarrollado un marco algebraico para la validez del teorema de Cantor-Bernstein-Schröder aplicable a álgebras con una estructura subyacente de retículo tal que los elementos centrales de este retículo determinan una descomposición directa del álgebra. Se dan condiciones necesarias y suficientes para la validez del teorema de Cantor-Bernstein-Schröder en estas álgebras. Estos resultados son aplicados para obtener versiones del teorema en retículos ortomodulares, álgebras de Stone, BL-álgebras, MV-álgebras, pseudo MV-álgebras, álgebras de Lukasiewicz y álgebras de Post of order n. |
|---|