Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas

Páez Gaviria, Walter Andrés (2015) Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas. Maestría thesis, Universidad Nacional de Colombia - Sede Bogotá.

Texto completo

[img]
Vista previa
PDF - Versión Aceptada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

439kB

Resumen

En este trabajo estudiaremos algunas categor´ıas intermedias, abelianas, y sus teoremas de representaci ´on. Demostraremos teoremas de completitud para la l´ogica regular, coherente y cl´asica de primer orden. Tambi´en se har´a un comparaci´on entre pretopoi y categor´ıas abelianas., Abstract. We are going to study some intermediate categories, abelian categories and their representation theorems. This will allow us to prove completeness theorems for regular, coherent and classical first order logic. We will end by making a comparison between pretopoi and abelian categories.

Tipo de documento:Tesis/trabajos de grado - Thesis (Maestría)
Colaborador / Asesor:Zalamea, Fernando
Información adicional:Magister en Ciencias Matemáticas. Línea de Investigación: Lógica
Palabras clave:Representación, Completitud, Intuicionismo, Categorías abelianas, Pretopoi, Representation, Completeness, Intuitionism, Abelian categories, Pretopoi
Temática:1 Filosofía y psicología / Philosophy & psychology > 16 Lógica / Logic
5 Ciencias naturales y matemáticas / Science > 51 Matemáticas / Mathematics
Unidad administrativa:Sede Bogotá > Facultad de Ciencias > Departamento de Matemáticas
Código ID:52453
Enviado por : Walter Andrés Páez Gaviria
Enviado el día :07 Junio 2016 20:24
Ultima modificación:07 Junio 2016 20:24
Ultima modificación:07 Junio 2016 20:24
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox