Publication:
El tiempo en la lógica y en la teoría de conjuntos

Simple item page
dc.contributor.authorMuñoz, José M .
dc.contributor.authorCaicedo, Xavier
dc.date.accessioned2024-01-27T14:09:20Z
dc.date.available2024-01-27T14:09:20Z
dc.date.issued2000-03-21
dc.description1 documento
dc.description.abstractEn el desarrollo del proyecto se propusieron los siguientes objetivos: 1. Utilizando la lógica clásica pero interpretando los conjuntos cambiantes con el tiempo como funciones , analizar las propiedades de ciertos universos formados por ellas, los cuales poseen estructuras de gran riqueza . 2. Establecer relaciones entre las lógicas anteriores y la lógica intuicionista , utilizando sobre todo como puente los espacios fibrados y los modelos de Kripke .spa
dc.format.extent39 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://repositorio.minciencias.gov.co/handle/20.500.14143/50457
dc.language.isospa
dc.publisherUniversidad Nacional de Colombia
dc.publisherColciencias
dc.publisher.placeBogotá
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.creativecommonsAtribución 4.0 Internacional (CC BY 4.0)
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subject.lembTeoría de conjuntos
dc.subject.lembMatemáticas -- Investigaciones
dc.subject.lembProyectos de investigación
dc.subject.lembLógica
dc.titleEl tiempo en la lógica y en la teoría de conjuntos
dc.typeInforme de investigación
dc.type.coarhttp://purl.org/coar/resource_type/c_18ws
dc.type.contentText
dc.type.driverinfo:eu-repo/semantics/report
dc.type.redcolhttp://purl.org/redcol/resource_type/INF
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dcterms.audienceEstudiantes, Profesores, Comunidad científica colombiana, etc.
dspace.entity.typePublication
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2
oaire.awardnumber11010522689
oaire.awardtitleEl tiempo en la lógica y en la teoría de conjuntos
oaire.funderidentifier.colciencias062-91
oaire.fundernameDepartamento Administrativo de Ciencia, Tecnología e Innovación [CO] Colciencias
oaire.versionhttp://purl.org/coar/version/c_970fb48d4fbd8a85

Files

Original bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
1101-05-226-89 INFORME FINAL.pdf
Size:
12.97 MB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
1101-05-226-89 INFORME FINAL.pdf
Size:
12.97 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
15.18 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Informes Finales de Proyectos de Investigación