Listar por autor "Páez Gaviria, Walter Andrés"
Mostrando documentos 1-1 de 1
-
Lógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
Páez Gaviria, Walter AndrésEn 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 ...Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas.