Sur la logique de premier ordre et la théorie des catégories

Dada una teoría de primer orden T, se estudia la categoría M(T) de modelos de T agrupando resultados dispersos de teoría de modelos y se establecen equivalencias entre las propiedades categóricas de M(T) y las propiedades sintácticas de T. Por ejemplo, se muestra que el functor olvidadizo G:M(T) + C...

Full description

Autores:
Herrera, Jorge
Tipo de recurso:
Article of journal
Fecha de publicación:
1984
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/42847
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/42847
http://bdigital.unal.edu.co/32944/
Palabra clave:
Teoría
modelos
functor
conjuntos es monádico
categoría abeliana
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_fede190f1b6aba2954034cc64c350f01
oai_identifier_str oai:repositorio.unal.edu.co:unal/42847
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Herrera, Jorge37e3876d-3a86-470e-9478-fcf120485d593002019-06-28T11:15:15Z2019-06-28T11:15:15Z1984https://repositorio.unal.edu.co/handle/unal/42847http://bdigital.unal.edu.co/32944/Dada una teoría de primer orden T, se estudia la categoría M(T) de modelos de T agrupando resultados dispersos de teoría de modelos y se establecen equivalencias entre las propiedades categóricas de M(T) y las propiedades sintácticas de T. Por ejemplo, se muestra que el functor olvidadizo G:M(T) + Conjuntos es monádico (tripleable) si y sólamente si T es Horn convexa positiva, se dan también condiciones necesarias y suficientes sobre T para que M(T) sea una categoría abeliana.application/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/32543Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 18, núm. 1-2 (1984); 41-82 0034-7426Herrera, Jorge (1984) Sur la logique de premier ordre et la théorie des catégories. Revista Colombiana de Matemáticas; Vol. 18, núm. 1-2 (1984); 41-82 0034-7426 .Sur la logique de premier ordre et la théorie des catégoriesArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTTeoríamodelosfunctorconjuntos es monádicocategoría abelianaORIGINAL32543-120369-1-PB.pdfapplication/pdf11933596https://repositorio.unal.edu.co/bitstream/unal/42847/1/32543-120369-1-PB.pdf451c5ace6c1da62e61a82b4b499aa6d0MD51THUMBNAIL32543-120369-1-PB.pdf.jpg32543-120369-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6351https://repositorio.unal.edu.co/bitstream/unal/42847/2/32543-120369-1-PB.pdf.jpgdacb78d60e2207b7845726c5b8660443MD52unal/42847oai:repositorio.unal.edu.co:unal/428472024-02-07 23:08:42.643Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Sur la logique de premier ordre et la théorie des catégories
title Sur la logique de premier ordre et la théorie des catégories
spellingShingle Sur la logique de premier ordre et la théorie des catégories
Teoría
modelos
functor
conjuntos es monádico
categoría abeliana
title_short Sur la logique de premier ordre et la théorie des catégories
title_full Sur la logique de premier ordre et la théorie des catégories
title_fullStr Sur la logique de premier ordre et la théorie des catégories
title_full_unstemmed Sur la logique de premier ordre et la théorie des catégories
title_sort Sur la logique de premier ordre et la théorie des catégories
dc.creator.fl_str_mv Herrera, Jorge
dc.contributor.author.spa.fl_str_mv Herrera, Jorge
dc.subject.proposal.spa.fl_str_mv Teoría
modelos
functor
conjuntos es monádico
categoría abeliana
topic Teoría
modelos
functor
conjuntos es monádico
categoría abeliana
description Dada una teoría de primer orden T, se estudia la categoría M(T) de modelos de T agrupando resultados dispersos de teoría de modelos y se establecen equivalencias entre las propiedades categóricas de M(T) y las propiedades sintácticas de T. Por ejemplo, se muestra que el functor olvidadizo G:M(T) + Conjuntos es monádico (tripleable) si y sólamente si T es Horn convexa positiva, se dan también condiciones necesarias y suficientes sobre T para que M(T) sea una categoría abeliana.
publishDate 1984
dc.date.issued.spa.fl_str_mv 1984
dc.date.accessioned.spa.fl_str_mv 2019-06-28T11:15:15Z
dc.date.available.spa.fl_str_mv 2019-06-28T11:15:15Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/42847
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/32944/
url https://repositorio.unal.edu.co/handle/unal/42847
http://bdigital.unal.edu.co/32944/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/recolma/article/view/32543
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas
Revista Colombiana de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Revista Colombiana de Matemáticas; Vol. 18, núm. 1-2 (1984); 41-82 0034-7426
dc.relation.references.spa.fl_str_mv Herrera, Jorge (1984) Sur la logique de premier ordre et la théorie des catégories. Revista Colombiana de Matemáticas; Vol. 18, núm. 1-2 (1984); 41-82 0034-7426 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/42847/1/32543-120369-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/42847/2/32543-120369-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 451c5ace6c1da62e61a82b4b499aa6d0
dacb78d60e2207b7845726c5b8660443
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1806886690046869504

Publicaciones similares