La jerarquía acumulativa de un topos
J. C. Rivera en su trabajo de grado, motivado por las ideas de X. Caicedo, expuso una forma de ver el forcing de Cohen en terminos de modelos de Kripke. Para esto, trabaja con un modelo de Kripke en particular, la jerarquia acumulativa de conjuntos variables, un universo a la von Neumann con el twis...
- Autores:
-
Montes Dumar, Iván Camilo
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2024
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/73820
- Acceso en línea:
- https://hdl.handle.net/1992/73820
- Palabra clave:
- Forcing
Categorias
Intuicionismo
Logica
Haces
Matemáticas
- Rights
- openAccess
- License
- Attribution 4.0 International
| id |
UNIANDES2_6446e3e7aad5cc809547e8c27e1a8259 |
|---|---|
| oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/73820 |
| network_acronym_str |
UNIANDES2 |
| network_name_str |
Séneca: repositorio Uniandes |
| repository_id_str |
|
| dc.title.none.fl_str_mv |
La jerarquía acumulativa de un topos |
| title |
La jerarquía acumulativa de un topos |
| spellingShingle |
La jerarquía acumulativa de un topos Forcing Categorias Intuicionismo Logica Haces Matemáticas |
| title_short |
La jerarquía acumulativa de un topos |
| title_full |
La jerarquía acumulativa de un topos |
| title_fullStr |
La jerarquía acumulativa de un topos |
| title_full_unstemmed |
La jerarquía acumulativa de un topos |
| title_sort |
La jerarquía acumulativa de un topos |
| dc.creator.fl_str_mv |
Montes Dumar, Iván Camilo |
| dc.contributor.advisor.none.fl_str_mv |
Caicedo Ferrer, Xavier |
| dc.contributor.author.none.fl_str_mv |
Montes Dumar, Iván Camilo |
| dc.subject.keyword.none.fl_str_mv |
Forcing Categorias Intuicionismo Logica Haces |
| topic |
Forcing Categorias Intuicionismo Logica Haces Matemáticas |
| dc.subject.themes.spa.fl_str_mv |
Matemáticas |
| description |
J. C. Rivera en su trabajo de grado, motivado por las ideas de X. Caicedo, expuso una forma de ver el forcing de Cohen en terminos de modelos de Kripke. Para esto, trabaja con un modelo de Kripke en particular, la jerarquia acumulativa de conjuntos variables, un universo a la von Neumann con el twist que los conjuntos varian sobre un poset. Esta jerarquia resulta ser un modelo para la teoria de conjuntos, como A. Villaveces prueba en su trabajo de maestria. En este trabajo mostramos que esta jerarquia de conjuntos variables puede ser construida desde un contexto más general en la teoria de categorias, trabajando dentro de un tipo de categoria que se caracteriza por comportarse como Sets: un topos. Teniendo en cuenta que los modelos de Kripke son pre-haces y estos ultimos forman un Topos, veremos que el modelo usado por Rivera y Villaveces aparece al hacer la construccion de una jerarquia acumulativa en el topos de pre-haces sobre un orden parcial. |
| publishDate |
2024 |
| dc.date.accessioned.none.fl_str_mv |
2024-02-02T16:37:25Z |
| dc.date.available.none.fl_str_mv |
2024-02-02T16:37:25Z |
| dc.date.issued.none.fl_str_mv |
2024-08-02 |
| dc.type.none.fl_str_mv |
Trabajo de grado - Pregrado |
| dc.type.driver.none.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.version.none.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
| dc.type.coar.none.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.content.none.fl_str_mv |
Text |
| dc.type.redcol.none.fl_str_mv |
http://purl.org/redcol/resource_type/TP |
| format |
http://purl.org/coar/resource_type/c_7a1f |
| status_str |
acceptedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://hdl.handle.net/1992/73820 |
| dc.identifier.instname.none.fl_str_mv |
instname:Universidad de los Andes |
| dc.identifier.reponame.none.fl_str_mv |
reponame:Repositorio Institucional Séneca |
| dc.identifier.repourl.none.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
| url |
https://hdl.handle.net/1992/73820 |
| identifier_str_mv |
instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
| dc.language.iso.none.fl_str_mv |
spa |
| language |
spa |
| dc.rights.en.fl_str_mv |
Attribution 4.0 International |
| dc.rights.uri.none.fl_str_mv |
http://creativecommons.org/licenses/by/4.0/ |
| dc.rights.accessrights.none.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.none.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
Attribution 4.0 International http://creativecommons.org/licenses/by/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.none.fl_str_mv |
61 páginas |
| dc.format.mimetype.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Universidad de los Andes |
| dc.publisher.program.none.fl_str_mv |
Matemáticas |
| dc.publisher.faculty.none.fl_str_mv |
Facultad de Ciencias |
| dc.publisher.department.none.fl_str_mv |
Departamento de Matemáticas |
| publisher.none.fl_str_mv |
Universidad de los Andes |
| institution |
Universidad de los Andes |
| bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/75d4d0bd-caf3-4efd-af68-b917517504d8/download https://repositorio.uniandes.edu.co/bitstreams/26f87ea1-9b6e-463d-9e57-c050007fee6e/download https://repositorio.uniandes.edu.co/bitstreams/6ef91d1d-8c3d-4d4a-a973-85fe64953ce5/download https://repositorio.uniandes.edu.co/bitstreams/d670a591-9cb0-46f6-aba7-742060b98e94/download https://repositorio.uniandes.edu.co/bitstreams/f7e70524-9237-41c7-b1dd-dfa1c6885b88/download https://repositorio.uniandes.edu.co/bitstreams/f922e0f8-e01b-4127-b2e0-e1b0b7f68908/download https://repositorio.uniandes.edu.co/bitstreams/6c6a2b5e-11f4-4940-a5f2-5b470275bcdf/download https://repositorio.uniandes.edu.co/bitstreams/35288ac9-89ba-4a38-8de4-04a27b3ca48f/download |
| bitstream.checksum.fl_str_mv |
0175ea4a2d4caec4bbcc37e300941108 ae9e573a68e7f92501b6913cc846c39f 4f3391fb8365ed3612e353e37d52d1eb 8edcffe4fd3c6d35104e7aef6c191e35 880ce9f8c0d71fad940ccc1ae630247e 93fcf0d6df66edee7021b91bb9158a6d 121ad889b2c9ad7c3d341f10bf7c4c64 83d48662061c411a3699ba90e21be894 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio institucional Séneca |
| repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
| _version_ |
1812133910868393984 |
| spelling |
Caicedo Ferrer, XavierMontes Dumar, Iván Camilo2024-02-02T16:37:25Z2024-02-02T16:37:25Z2024-08-02https://hdl.handle.net/1992/73820instname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/J. C. Rivera en su trabajo de grado, motivado por las ideas de X. Caicedo, expuso una forma de ver el forcing de Cohen en terminos de modelos de Kripke. Para esto, trabaja con un modelo de Kripke en particular, la jerarquia acumulativa de conjuntos variables, un universo a la von Neumann con el twist que los conjuntos varian sobre un poset. Esta jerarquia resulta ser un modelo para la teoria de conjuntos, como A. Villaveces prueba en su trabajo de maestria. En este trabajo mostramos que esta jerarquia de conjuntos variables puede ser construida desde un contexto más general en la teoria de categorias, trabajando dentro de un tipo de categoria que se caracteriza por comportarse como Sets: un topos. Teniendo en cuenta que los modelos de Kripke son pre-haces y estos ultimos forman un Topos, veremos que el modelo usado por Rivera y Villaveces aparece al hacer la construccion de una jerarquia acumulativa en el topos de pre-haces sobre un orden parcial.MatemáticoPregrado61 páginasapplication/pdfspaUniversidad de los AndesMatemáticasFacultad de CienciasDepartamento de MatemáticasAttribution 4.0 Internationalhttp://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2La jerarquía acumulativa de un toposTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_7a1fTexthttp://purl.org/redcol/resource_type/TPForcingCategoriasIntuicionismoLogicaHacesMatemáticas201518640PublicationCC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8908https://repositorio.uniandes.edu.co/bitstreams/75d4d0bd-caf3-4efd-af68-b917517504d8/download0175ea4a2d4caec4bbcc37e300941108MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-82535https://repositorio.uniandes.edu.co/bitstreams/26f87ea1-9b6e-463d-9e57-c050007fee6e/downloadae9e573a68e7f92501b6913cc846c39fMD52ORIGINALLa jerarquía acumulativa de un topos.pdfLa jerarquía acumulativa de un topos.pdfapplication/pdf1746651https://repositorio.uniandes.edu.co/bitstreams/6ef91d1d-8c3d-4d4a-a973-85fe64953ce5/download4f3391fb8365ed3612e353e37d52d1ebMD53autorizacion_tesis_Montes_Dumar.pdfautorizacion_tesis_Montes_Dumar.pdfHIDEapplication/pdf315425https://repositorio.uniandes.edu.co/bitstreams/d670a591-9cb0-46f6-aba7-742060b98e94/download8edcffe4fd3c6d35104e7aef6c191e35MD54TEXTLa jerarquía acumulativa de un topos.pdf.txtLa jerarquía acumulativa de un topos.pdf.txtExtracted texttext/plain107567https://repositorio.uniandes.edu.co/bitstreams/f7e70524-9237-41c7-b1dd-dfa1c6885b88/download880ce9f8c0d71fad940ccc1ae630247eMD55autorizacion_tesis_Montes_Dumar.pdf.txtautorizacion_tesis_Montes_Dumar.pdf.txtExtracted texttext/plain2169https://repositorio.uniandes.edu.co/bitstreams/f922e0f8-e01b-4127-b2e0-e1b0b7f68908/download93fcf0d6df66edee7021b91bb9158a6dMD57THUMBNAILLa jerarquía acumulativa de un topos.pdf.jpgLa jerarquía acumulativa de un topos.pdf.jpgGenerated Thumbnailimage/jpeg6045https://repositorio.uniandes.edu.co/bitstreams/6c6a2b5e-11f4-4940-a5f2-5b470275bcdf/download121ad889b2c9ad7c3d341f10bf7c4c64MD56autorizacion_tesis_Montes_Dumar.pdf.jpgautorizacion_tesis_Montes_Dumar.pdf.jpgGenerated Thumbnailimage/jpeg11148https://repositorio.uniandes.edu.co/bitstreams/35288ac9-89ba-4a38-8de4-04a27b3ca48f/download83d48662061c411a3699ba90e21be894MD581992/73820oai:repositorio.uniandes.edu.co:1992/738202024-02-16 14:52:34.289http://creativecommons.org/licenses/by/4.0/Attribution 4.0 Internationalopen.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.coPGgzPjxzdHJvbmc+RGVzY2FyZ28gZGUgUmVzcG9uc2FiaWxpZGFkIC0gTGljZW5jaWEgZGUgQXV0b3JpemFjacOzbjwvc3Ryb25nPjwvaDM+CjxwPjxzdHJvbmc+UG9yIGZhdm9yIGxlZXIgYXRlbnRhbWVudGUgZXN0ZSBkb2N1bWVudG8gcXVlIHBlcm1pdGUgYWwgUmVwb3NpdG9yaW8gSW5zdGl0dWNpb25hbCBTw6luZWNhIHJlcHJvZHVjaXIgeSBkaXN0cmlidWlyIGxvcyByZWN1cnNvcyBkZSBpbmZvcm1hY2nDs24gZGVwb3NpdGFkb3MgbWVkaWFudGUgbGEgYXV0b3JpemFjacOzbiBkZSBsb3Mgc2lndWllbnRlcyB0w6lybWlub3M6PC9zdHJvbmc+PC9wPgo8cD5Db25jZWRhIGxhIGxpY2VuY2lhIGRlIGRlcMOzc2l0byBlc3TDoW5kYXIgc2VsZWNjaW9uYW5kbyBsYSBvcGNpw7NuIDxzdHJvbmc+J0FjZXB0YXIgbG9zIHTDqXJtaW5vcyBhbnRlcmlvcm1lbnRlIGRlc2NyaXRvcyc8L3N0cm9uZz4geSBjb250aW51YXIgZWwgcHJvY2VzbyBkZSBlbnbDrW8gbWVkaWFudGUgZWwgYm90w7NuIDxzdHJvbmc+J1NpZ3VpZW50ZScuPC9zdHJvbmc+PC9wPgo8aHI+CjxwPllvLCBlbiBtaSBjYWxpZGFkIGRlIGF1dG9yIGRlbCB0cmFiYWpvIGRlIHRlc2lzLCBtb25vZ3JhZsOtYSBvIHRyYWJham8gZGUgZ3JhZG8sIGhhZ28gZW50cmVnYSBkZWwgZWplbXBsYXIgcmVzcGVjdGl2byB5IGRlIHN1cyBhbmV4b3MgZGUgc2VyIGVsIGNhc28sIGVuIGZvcm1hdG8gZGlnaXRhbCB5L28gZWxlY3Ryw7NuaWNvIHkgYXV0b3Jpem8gYSBsYSBVbml2ZXJzaWRhZCBkZSBsb3MgQW5kZXMgcGFyYSBxdWUgcmVhbGljZSBsYSBwdWJsaWNhY2nDs24gZW4gZWwgU2lzdGVtYSBkZSBCaWJsaW90ZWNhcyBvIGVuIGN1YWxxdWllciBvdHJvIHNpc3RlbWEgbyBiYXNlIGRlIGRhdG9zIHByb3BpbyBvIGFqZW5vIGEgbGEgVW5pdmVyc2lkYWQgeSBwYXJhIHF1ZSBlbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgTGV5IDQ0IGRlIDE5OTMsIERlY2lzacOzbiBBbmRpbmEgMzUxIGRlIDE5OTMsIERlY3JldG8gNDYwIGRlIDE5OTUgeSBkZW3DoXMgbm9ybWFzIGdlbmVyYWxlcyBzb2JyZSBsYSBtYXRlcmlhLCB1dGlsaWNlIGVuIHRvZGFzIHN1cyBmb3JtYXMsIGxvcyBkZXJlY2hvcyBwYXRyaW1vbmlhbGVzIGRlIHJlcHJvZHVjY2nDs24sIGNvbXVuaWNhY2nDs24gcMO6YmxpY2EsIHRyYW5zZm9ybWFjacOzbiB5IGRpc3RyaWJ1Y2nDs24gKGFscXVpbGVyLCBwcsOpc3RhbW8gcMO6YmxpY28gZSBpbXBvcnRhY2nDs24pIHF1ZSBtZSBjb3JyZXNwb25kZW4gY29tbyBjcmVhZG9yIGRlIGxhIG9icmEgb2JqZXRvIGRlbCBwcmVzZW50ZSBkb2N1bWVudG8uPC9wPgo8cD5MYSBwcmVzZW50ZSBhdXRvcml6YWNpw7NuIHNlIGVtaXRlIGVuIGNhbGlkYWQgZGUgYXV0b3IgZGUgbGEgb2JyYSBvYmpldG8gZGVsIHByZXNlbnRlIGRvY3VtZW50byB5IG5vIGNvcnJlc3BvbmRlIGEgY2VzacOzbiBkZSBkZXJlY2hvcywgc2lubyBhIGxhIGF1dG9yaXphY2nDs24gZGUgdXNvIGFjYWTDqW1pY28gZGUgY29uZm9ybWlkYWQgY29uIGxvIGFudGVyaW9ybWVudGUgc2XDsWFsYWRvLiBMYSBwcmVzZW50ZSBhdXRvcml6YWNpw7NuIHNlIGhhY2UgZXh0ZW5zaXZhIG5vIHNvbG8gYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIHVzbyBzb2JyZSBsYSBvYnJhIGVuIGZvcm1hdG8gbyBzb3BvcnRlIG1hdGVyaWFsLCBzaW5vIHRhbWJpw6luIHBhcmEgZm9ybWF0byBlbGVjdHLDs25pY28sIHkgZW4gZ2VuZXJhbCBwYXJhIGN1YWxxdWllciBmb3JtYXRvIGNvbm9jaWRvIG8gcG9yIGNvbm9jZXIuPC9wPgo8cD5FbCBhdXRvciwgbWFuaWZpZXN0YSBxdWUgbGEgb2JyYSBvYmpldG8gZGUgbGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBlcyBvcmlnaW5hbCB5IGxhIHJlYWxpesOzIHNpbiB2aW9sYXIgbyB1c3VycGFyIGRlcmVjaG9zIGRlIGF1dG9yIGRlIHRlcmNlcm9zLCBwb3IgbG8gdGFudG8sIGxhIG9icmEgZXMgZGUgc3UgZXhjbHVzaXZhIGF1dG9yw61hIHkgdGllbmUgbGEgdGl0dWxhcmlkYWQgc29icmUgbGEgbWlzbWEuPC9wPgo8cD5FbiBjYXNvIGRlIHByZXNlbnRhcnNlIGN1YWxxdWllciByZWNsYW1hY2nDs24gbyBhY2Npw7NuIHBvciBwYXJ0ZSBkZSB1biB0ZXJjZXJvIGVuIGN1YW50byBhIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBzb2JyZSBsYSBvYnJhIGVuIGN1ZXN0acOzbiwgZWwgYXV0b3IgYXN1bWlyw6EgdG9kYSBsYSByZXNwb25zYWJpbGlkYWQsIHkgc2FsZHLDoSBkZSBkZWZlbnNhIGRlIGxvcyBkZXJlY2hvcyBhcXXDrSBhdXRvcml6YWRvcywgcGFyYSB0b2RvcyBsb3MgZWZlY3RvcyBsYSBVbml2ZXJzaWRhZCBhY3TDumEgY29tbyB1biB0ZXJjZXJvIGRlIGJ1ZW5hIGZlLjwvcD4KPHA+U2kgdGllbmUgYWxndW5hIGR1ZGEgc29icmUgbGEgbGljZW5jaWEsIHBvciBmYXZvciwgY29udGFjdGUgY29uIGVsIDxhIGhyZWY9Im1haWx0bzpiaWJsaW90ZWNhQHVuaWFuZGVzLmVkdS5jbyIgdGFyZ2V0PSJfYmxhbmsiPkFkbWluaXN0cmFkb3IgZGVsIFNpc3RlbWEuPC9hPjwvcD4K |