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....

Full description

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==