Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributorZalamea, Fernando
dc.contributor.authorPáez Gaviria, Walter Andrés
dc.date.accessioned2019-07-02T11:58:46Z
dc.date.available2019-07-02T11:58:46Z
dc.date.issued2015
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/56607
dc.description.abstractEn 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.
dc.description.abstractAbstract. 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.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.relation.ispartofUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas
dc.relation.ispartofDepartamento de Matemáticas
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.subject.ddc16 Lógica / Logic
dc.subject.ddc51 Matemáticas / Mathematics
dc.titleLógica de categorías intermedias, teoremas de representación y aplicaciones a categorías abelianas
dc.typeTrabajo de grado - Maestría
dc.type.driverinfo:eu-repo/semantics/masterThesis
dc.type.versioninfo:eu-repo/semantics/acceptedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/52453/
dc.description.degreelevelMaestría
dc.relation.referencesPá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á.
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalRepresentación
dc.subject.proposalCompletitud
dc.subject.proposalIntuicionismo
dc.subject.proposalCategorías abelianas
dc.subject.proposalPretopoi
dc.subject.proposalRepresentation
dc.subject.proposalCompleteness
dc.subject.proposalIntuitionism
dc.subject.proposalAbelian categories
dc.subject.proposalPretopoi
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/TM
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit