La construcción ab-initio de Hrushovski y límites genéricos de grafos finitos
En este proyecto se estudian distintas construcciones de límites de clases de estructuras finitas, en particular, clases de grafos finitos. Primero se estudia la construcción de Fraïssé, luego la de Hrushovski y finalmente se estudia la relación entre estas construcciones y los grafos aleatorios....
- Autores:
-
Peralta Alvira, Luis Alejandro
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2022
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/64145
- Acceso en línea:
- http://hdl.handle.net/1992/64145
- Palabra clave:
- Teoría de Modelos
Límite Genérico
Hrushovski
ab-initio
Teoría de Grafos
Grafo Aleatorio
Lógica
Clase de Fraïssé
Amalgamation
Matemáticas
- Rights
- openAccess
- License
- Atribución-NoComercial-CompartirIgual 4.0 Internacional
id |
UNIANDES2_d0e9c1fb3bf6fff6a971b23d9ba2a314 |
---|---|
oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/64145 |
network_acronym_str |
UNIANDES2 |
network_name_str |
Séneca: repositorio Uniandes |
repository_id_str |
|
dc.title.none.fl_str_mv |
La construcción ab-initio de Hrushovski y límites genéricos de grafos finitos |
title |
La construcción ab-initio de Hrushovski y límites genéricos de grafos finitos |
spellingShingle |
La construcción ab-initio de Hrushovski y límites genéricos de grafos finitos Teoría de Modelos Límite Genérico Hrushovski ab-initio Teoría de Grafos Grafo Aleatorio Lógica Clase de Fraïssé Amalgamation Matemáticas |
title_short |
La construcción ab-initio de Hrushovski y límites genéricos de grafos finitos |
title_full |
La construcción ab-initio de Hrushovski y límites genéricos de grafos finitos |
title_fullStr |
La construcción ab-initio de Hrushovski y límites genéricos de grafos finitos |
title_full_unstemmed |
La construcción ab-initio de Hrushovski y límites genéricos de grafos finitos |
title_sort |
La construcción ab-initio de Hrushovski y límites genéricos de grafos finitos |
dc.creator.fl_str_mv |
Peralta Alvira, Luis Alejandro |
dc.contributor.advisor.none.fl_str_mv |
García Rico, Darío Alejandro Goodrick, John Richard |
dc.contributor.author.none.fl_str_mv |
Peralta Alvira, Luis Alejandro |
dc.contributor.jury.none.fl_str_mv |
Bogart, Tristram |
dc.subject.keyword.none.fl_str_mv |
Teoría de Modelos Límite Genérico Hrushovski ab-initio Teoría de Grafos Grafo Aleatorio Lógica Clase de Fraïssé Amalgamation |
topic |
Teoría de Modelos Límite Genérico Hrushovski ab-initio Teoría de Grafos Grafo Aleatorio Lógica Clase de Fraïssé Amalgamation Matemáticas |
dc.subject.themes.es_CO.fl_str_mv |
Matemáticas |
description |
En este proyecto se estudian distintas construcciones de límites de clases de estructuras finitas, en particular, clases de grafos finitos. Primero se estudia la construcción de Fraïssé, luego la de Hrushovski y finalmente se estudia la relación entre estas construcciones y los grafos aleatorios. |
publishDate |
2022 |
dc.date.issued.none.fl_str_mv |
2022-12-14 |
dc.date.accessioned.none.fl_str_mv |
2023-01-25T13:16:08Z |
dc.date.available.none.fl_str_mv |
2023-01-25T13:16:08Z |
dc.type.es_CO.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.es_CO.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 |
http://hdl.handle.net/1992/64145 |
dc.identifier.instname.es_CO.fl_str_mv |
instname:Universidad de los Andes |
dc.identifier.reponame.es_CO.fl_str_mv |
reponame:Repositorio Institucional Séneca |
dc.identifier.repourl.es_CO.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
url |
http://hdl.handle.net/1992/64145 |
identifier_str_mv |
instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
dc.language.iso.es_CO.fl_str_mv |
spa |
language |
spa |
dc.relation.references.es_CO.fl_str_mv |
[Baldwin and Shelah, 1997] Baldwin, J. and Shelah, S. (1997). Randomness and semigenericity. Transactions of the American Mathematical Society, 349(4):1359-1376. [Hodges, 1993] Hodges, W. (1993). Encyclopedia of mathematics and its applications. In Model Theory, pages xii-xiv. Cambridge University Press, Cambridge. [Hrushovski, 1993] Hrushovski, E. (1993). A new strongly minimal set. Annals of Pure and Applied Logic, 62(2):147-166. [Laskowski, 2007] Laskowski, M. C. (2007). A simpler axiomatization of the shelah-spencer almost sure theories. Israel Journal of Mathematics, 161(1):157-186. [Marker, 2002] Marker, D. (2002). Model Theory : An Introduction. Springer. [Shelah and Spencer, 1988] Shelah, S. and Spencer, J. (1988). Zero-one laws for sparse random graphs. Journal of the American Mathematical Society, 1(1):97-115. [Spencer, 2001] Spencer, J. (2001). The strange logic of random graphs. Algorithms and Com- binatorics. Springer, Berlin, Germany, 2001 edition. [Wagner, 1994] Wagner, F. (1994). Relational structures and dimensions. |
dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial-CompartirIgual 4.0 Internacional |
dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ |
dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
rights_invalid_str_mv |
Atribución-NoComercial-CompartirIgual 4.0 Internacional http://creativecommons.org/licenses/by-nc-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
eu_rights_str_mv |
openAccess |
dc.format.extent.es_CO.fl_str_mv |
54 páginas |
dc.format.mimetype.es_CO.fl_str_mv |
application/pdf |
dc.publisher.es_CO.fl_str_mv |
Universidad de los Andes |
dc.publisher.program.es_CO.fl_str_mv |
Matemáticas |
dc.publisher.faculty.es_CO.fl_str_mv |
Facultad de Ciencias |
dc.publisher.department.es_CO.fl_str_mv |
Departamento de Matemáticas |
institution |
Universidad de los Andes |
bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/44641f17-2dcd-4ace-bccb-f529b7c5ea4a/download https://repositorio.uniandes.edu.co/bitstreams/ca5d3232-991a-4eb9-b0cf-48bb560d1a71/download https://repositorio.uniandes.edu.co/bitstreams/3630b46f-79aa-48ec-9fa9-ab804c5d5ef1/download https://repositorio.uniandes.edu.co/bitstreams/0eea088b-c2d2-4c2c-915a-a71a20572dd7/download https://repositorio.uniandes.edu.co/bitstreams/7c4dc8ac-5e78-4d04-8c9f-05f585329530/download https://repositorio.uniandes.edu.co/bitstreams/9fddc80f-0012-4044-87d8-335bc11c5b17/download https://repositorio.uniandes.edu.co/bitstreams/7a6b1c92-f9e7-4296-9220-1019cf114f85/download https://repositorio.uniandes.edu.co/bitstreams/a153186e-7627-41f0-be30-55efc71825ef/download |
bitstream.checksum.fl_str_mv |
bcde6e90693b3abf4667186abec02421 8fcc2108960f36ff71ca32ab6e5999f5 abb72437c4b103c659dc5c2d6fa0c831 4491fe1afb58beaaef41a73cf7ff2e27 934f4ca17e109e0a05eaeaba504d7ce4 30949ab2311ff08248435c53545be8b1 7d1a1528ad6151a987eaf5d7e66e6178 5aa5c691a1ffe97abd12c2966efcb8d6 |
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_ |
1812134019451584512 |
spelling |
Atribución-NoComercial-CompartirIgual 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2García Rico, Darío Alejandrocb9df2d3-1704-40d7-a5c9-f008bf6b2c5a600Goodrick, John Richardbd901a76-b18c-4805-b922-876ca7e11147600Peralta Alvira, Luis Alejandro353d290a-3b54-4790-97ef-98637666f74e600Bogart, Tristram2023-01-25T13:16:08Z2023-01-25T13:16:08Z2022-12-14http://hdl.handle.net/1992/64145instname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/En este proyecto se estudian distintas construcciones de límites de clases de estructuras finitas, en particular, clases de grafos finitos. Primero se estudia la construcción de Fraïssé, luego la de Hrushovski y finalmente se estudia la relación entre estas construcciones y los grafos aleatorios.MatemáticoPregradoTeoría de ModelosLógicaTeoría de Grafos54 páginasapplication/pdfspaUniversidad de los AndesMatemáticasFacultad de CienciasDepartamento de MatemáticasLa construcción ab-initio de Hrushovski y límites genéricos de grafos finitosTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_7a1fTexthttp://purl.org/redcol/resource_type/TPTeoría de ModelosLímite GenéricoHrushovskiab-initioTeoría de GrafosGrafo AleatorioLógicaClase de FraïsséAmalgamationMatemáticas[Baldwin and Shelah, 1997] Baldwin, J. and Shelah, S. (1997). Randomness and semigenericity. Transactions of the American Mathematical Society, 349(4):1359-1376.[Hodges, 1993] Hodges, W. (1993). Encyclopedia of mathematics and its applications. In Model Theory, pages xii-xiv. Cambridge University Press, Cambridge.[Hrushovski, 1993] Hrushovski, E. (1993). A new strongly minimal set. Annals of Pure and Applied Logic, 62(2):147-166.[Laskowski, 2007] Laskowski, M. C. (2007). A simpler axiomatization of the shelah-spencer almost sure theories. Israel Journal of Mathematics, 161(1):157-186.[Marker, 2002] Marker, D. (2002). Model Theory : An Introduction. Springer.[Shelah and Spencer, 1988] Shelah, S. and Spencer, J. (1988). Zero-one laws for sparse random graphs. Journal of the American Mathematical Society, 1(1):97-115.[Spencer, 2001] Spencer, J. (2001). The strange logic of random graphs. Algorithms and Com- binatorics. Springer, Berlin, Germany, 2001 edition.[Wagner, 1994] Wagner, F. (1994). Relational structures and dimensions.201814692PublicationORIGINALTesis-Alejandro Peralta Para Repo.pdfTesis-Alejandro Peralta Para Repo.pdfTrabajo de Gradoapplication/pdf626444https://repositorio.uniandes.edu.co/bitstreams/44641f17-2dcd-4ace-bccb-f529b7c5ea4a/downloadbcde6e90693b3abf4667186abec02421MD56Autorización_firmada.pdfAutorización_firmada.pdfHIDEapplication/pdf207801https://repositorio.uniandes.edu.co/bitstreams/ca5d3232-991a-4eb9-b0cf-48bb560d1a71/download8fcc2108960f36ff71ca32ab6e5999f5MD53TEXTTesis-Alejandro Peralta Para Repo.pdf.txtTesis-Alejandro Peralta Para Repo.pdf.txtExtracted texttext/plain94472https://repositorio.uniandes.edu.co/bitstreams/3630b46f-79aa-48ec-9fa9-ab804c5d5ef1/downloadabb72437c4b103c659dc5c2d6fa0c831MD57Autorización_firmada.pdf.txtAutorización_firmada.pdf.txtExtracted texttext/plain1163https://repositorio.uniandes.edu.co/bitstreams/0eea088b-c2d2-4c2c-915a-a71a20572dd7/download4491fe1afb58beaaef41a73cf7ff2e27MD59CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-81031https://repositorio.uniandes.edu.co/bitstreams/7c4dc8ac-5e78-4d04-8c9f-05f585329530/download934f4ca17e109e0a05eaeaba504d7ce4MD55THUMBNAILTesis-Alejandro Peralta Para Repo.pdf.jpgTesis-Alejandro Peralta Para Repo.pdf.jpgIM Thumbnailimage/jpeg7763https://repositorio.uniandes.edu.co/bitstreams/9fddc80f-0012-4044-87d8-335bc11c5b17/download30949ab2311ff08248435c53545be8b1MD58Autorización_firmada.pdf.jpgAutorización_firmada.pdf.jpgIM Thumbnailimage/jpeg16687https://repositorio.uniandes.edu.co/bitstreams/7a6b1c92-f9e7-4296-9220-1019cf114f85/download7d1a1528ad6151a987eaf5d7e66e6178MD510LICENSElicense.txtlicense.txttext/plain; charset=utf-81810https://repositorio.uniandes.edu.co/bitstreams/a153186e-7627-41f0-be30-55efc71825ef/download5aa5c691a1ffe97abd12c2966efcb8d6MD541992/64145oai:repositorio.uniandes.edu.co:1992/641452023-10-10 18:50:22.324http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.coWW8sIGVuIG1pIGNhbGlkYWQgZGUgYXV0b3IgZGVsIHRyYWJham8gZGUgdGVzaXMsIG1vbm9ncmFmw61hIG8gdHJhYmFqbyBkZSBncmFkbywgaGFnbyBlbnRyZWdhIGRlbCBlamVtcGxhciByZXNwZWN0aXZvIHkgZGUgc3VzIGFuZXhvcyBkZSBzZXIgZWwgY2FzbywgZW4gZm9ybWF0byBkaWdpdGFsIHkvbyBlbGVjdHLDs25pY28geSBhdXRvcml6byBhIGxhIFVuaXZlcnNpZGFkIGRlIGxvcyBBbmRlcyBwYXJhIHF1ZSByZWFsaWNlIGxhIHB1YmxpY2FjacOzbiBlbiBlbCBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIG8gZW4gY3VhbHF1aWVyIG90cm8gc2lzdGVtYSBvIGJhc2UgZGUgZGF0b3MgcHJvcGlvIG8gYWplbm8gYSBsYSBVbml2ZXJzaWRhZCB5IHBhcmEgcXVlIGVuIGxvcyB0w6lybWlub3MgZXN0YWJsZWNpZG9zIGVuIGxhIExleSAyMyBkZSAxOTgyLCBMZXkgNDQgZGUgMTk5MywgRGVjaXNpw7NuIEFuZGluYSAzNTEgZGUgMTk5MywgRGVjcmV0byA0NjAgZGUgMTk5NSB5IGRlbcOhcyBub3JtYXMgZ2VuZXJhbGVzIHNvYnJlIGxhIG1hdGVyaWEsIHV0aWxpY2UgZW4gdG9kYXMgc3VzIGZvcm1hcywgbG9zIGRlcmVjaG9zIHBhdHJpbW9uaWFsZXMgZGUgcmVwcm9kdWNjacOzbiwgY29tdW5pY2FjacOzbiBww7pibGljYSwgdHJhbnNmb3JtYWNpw7NuIHkgZGlzdHJpYnVjacOzbiAoYWxxdWlsZXIsIHByw6lzdGFtbyBww7pibGljbyBlIGltcG9ydGFjacOzbikgcXVlIG1lIGNvcnJlc3BvbmRlbiBjb21vIGNyZWFkb3IgZGUgbGEgb2JyYSBvYmpldG8gZGVsIHByZXNlbnRlIGRvY3VtZW50by4gIAoKCkxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gc2UgZW1pdGUgZW4gY2FsaWRhZCBkZSBhdXRvciBkZSBsYSBvYnJhIG9iamV0byBkZWwgcHJlc2VudGUgZG9jdW1lbnRvIHkgbm8gY29ycmVzcG9uZGUgYSBjZXNpw7NuIGRlIGRlcmVjaG9zLCBzaW5vIGEgbGEgYXV0b3JpemFjacOzbiBkZSB1c28gYWNhZMOpbWljbyBkZSBjb25mb3JtaWRhZCBjb24gbG8gYW50ZXJpb3JtZW50ZSBzZcOxYWxhZG8uIExhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gc2UgaGFjZSBleHRlbnNpdmEgbm8gc29sbyBhIGxhcyBmYWN1bHRhZGVzIHkgZGVyZWNob3MgZGUgdXNvIHNvYnJlIGxhIG9icmEgZW4gZm9ybWF0byBvIHNvcG9ydGUgbWF0ZXJpYWwsIHNpbm8gdGFtYmnDqW4gcGFyYSBmb3JtYXRvIGVsZWN0csOzbmljbywgeSBlbiBnZW5lcmFsIHBhcmEgY3VhbHF1aWVyIGZvcm1hdG8gY29ub2NpZG8gbyBwb3IgY29ub2Nlci4gCgoKRWwgYXV0b3IsIG1hbmlmaWVzdGEgcXVlIGxhIG9icmEgb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwgeSBsYSByZWFsaXrDsyBzaW4gdmlvbGFyIG8gdXN1cnBhciBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcywgcG9yIGxvIHRhbnRvLCBsYSBvYnJhIGVzIGRlIHN1IGV4Y2x1c2l2YSBhdXRvcsOtYSB5IHRpZW5lIGxhIHRpdHVsYXJpZGFkIHNvYnJlIGxhIG1pc21hLiAKCgpFbiBjYXNvIGRlIHByZXNlbnRhcnNlIGN1YWxxdWllciByZWNsYW1hY2nDs24gbyBhY2Npw7NuIHBvciBwYXJ0ZSBkZSB1biB0ZXJjZXJvIGVuIGN1YW50byBhIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBzb2JyZSBsYSBvYnJhIGVuIGN1ZXN0acOzbiwgZWwgYXV0b3IgYXN1bWlyw6EgdG9kYSBsYSByZXNwb25zYWJpbGlkYWQsIHkgc2FsZHLDoSBkZSBkZWZlbnNhIGRlIGxvcyBkZXJlY2hvcyBhcXXDrSBhdXRvcml6YWRvcywgcGFyYSB0b2RvcyBsb3MgZWZlY3RvcyBsYSBVbml2ZXJzaWRhZCBhY3TDumEgY29tbyB1biB0ZXJjZXJvIGRlIGJ1ZW5hIGZlLiAKCg== |