Definable groups in models of presburger arithmetic
En este trabajo estudiamos los grupos definibles en la teoría de Presburger. En el primer cap'ítulo establecemos los enunciados importantes de teorías dependientes y su relación con los grupos amenables. En el segundo capitulo, probamos que todo grupo definible en Presburger es abeliano por fin...
- Autores:
-
Vicaría Angel, Mariana
- Tipo de recurso:
- Fecha de publicación:
- 2016
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/13885
- Acceso en línea:
- http://hdl.handle.net/1992/13885
- Palabra clave:
- Grupos algebráicos - Investigaciones
Grupos abelianos - Investigaciones
Matemáticas - Investigaciones
Matemáticas
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/4.0/
id |
UNIANDES2_b6987f087d8ba89c2a9d61771fc15a0c |
---|---|
oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/13885 |
network_acronym_str |
UNIANDES2 |
network_name_str |
Séneca: repositorio Uniandes |
repository_id_str |
|
spelling |
Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Onshuus Niño, Alf06cd0bf2-63f0-489d-9a06-d5357c049007400Vicaría Angel, Mariana9aec22d7-bb26-4934-8eaf-bf7844a5ca7e500Berenstein Opscholtens, Alexander JonathanCarmona González, Juan FelipeBogotá2018-09-28T11:00:05Z2018-09-28T11:00:05Z2016http://hdl.handle.net/1992/13885u729679.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/En este trabajo estudiamos los grupos definibles en la teoría de Presburger. En el primer cap'ítulo establecemos los enunciados importantes de teorías dependientes y su relación con los grupos amenables. En el segundo capitulo, probamos que todo grupo definible en Presburger es abeliano por finitos y por lo tanto amenable. A partir de esto probamos que todo grupo definible y acotado en Presburger, tiene la propiedad de genéricos finitamente satisfactibles, lo que nos permite mostrar que para dichos grupos la conjetura del semigrupo de Ellis es válidaWe studied in detail the definable groups in Presburger Arithmetic. In the first chapters we recall several relevant results about definably amenable groups in NIP theories. In the following chapter, we show that any definable group in Presburger is abelian by finite, and thus it is definably amenable. Then, we show that any definable bounded group in this theory has the fsg property. And this is enough to show that for this kind of groups the Ellis semigroup conjecture holdsMagíster en MatemáticasMaestría136 hojasapplication/pdfengUniandesMaestría en MatemáticasFacultad de CienciasDepartamento de Matemáticasinstname:Universidad de los Andesreponame:Repositorio Institucional SénecaDefinable groups in models of presburger arithmeticTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesishttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TMGrupos algebráicos - InvestigacionesGrupos abelianos - InvestigacionesMatemáticas - InvestigacionesMatemáticasPublicationTHUMBNAILu729679.pdf.jpgu729679.pdf.jpgIM Thumbnailimage/jpeg3610https://repositorio.uniandes.edu.co/bitstreams/b3c84d4a-6d3e-4235-8077-042ef6273c3f/download8456c617bd22476a5a8cac03a6a76e33MD55TEXTu729679.pdf.txtu729679.pdf.txtExtracted texttext/plain198658https://repositorio.uniandes.edu.co/bitstreams/ae92b0f6-63cd-47e1-9a1a-57d979d057a4/download1896caa6e1010a3f30be5bd3cfa034d9MD54ORIGINALu729679.pdfapplication/pdf754405https://repositorio.uniandes.edu.co/bitstreams/913d7695-9bf0-4cbd-8093-8d5f05e6d68e/download34fd107aed25c5f75460e8a4826f407fMD511992/13885oai:repositorio.uniandes.edu.co:1992/138852023-10-10 17:38:24.978http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co |
dc.title.es_CO.fl_str_mv |
Definable groups in models of presburger arithmetic |
title |
Definable groups in models of presburger arithmetic |
spellingShingle |
Definable groups in models of presburger arithmetic Grupos algebráicos - Investigaciones Grupos abelianos - Investigaciones Matemáticas - Investigaciones Matemáticas |
title_short |
Definable groups in models of presburger arithmetic |
title_full |
Definable groups in models of presburger arithmetic |
title_fullStr |
Definable groups in models of presburger arithmetic |
title_full_unstemmed |
Definable groups in models of presburger arithmetic |
title_sort |
Definable groups in models of presburger arithmetic |
dc.creator.fl_str_mv |
Vicaría Angel, Mariana |
dc.contributor.advisor.none.fl_str_mv |
Onshuus Niño, Alf |
dc.contributor.author.none.fl_str_mv |
Vicaría Angel, Mariana |
dc.contributor.jury.none.fl_str_mv |
Berenstein Opscholtens, Alexander Jonathan Carmona González, Juan Felipe |
dc.subject.keyword.es_CO.fl_str_mv |
Grupos algebráicos - Investigaciones Grupos abelianos - Investigaciones Matemáticas - Investigaciones |
topic |
Grupos algebráicos - Investigaciones Grupos abelianos - Investigaciones Matemáticas - Investigaciones Matemáticas |
dc.subject.themes.none.fl_str_mv |
Matemáticas |
description |
En este trabajo estudiamos los grupos definibles en la teoría de Presburger. En el primer cap'ítulo establecemos los enunciados importantes de teorías dependientes y su relación con los grupos amenables. En el segundo capitulo, probamos que todo grupo definible en Presburger es abeliano por finitos y por lo tanto amenable. A partir de esto probamos que todo grupo definible y acotado en Presburger, tiene la propiedad de genéricos finitamente satisfactibles, lo que nos permite mostrar que para dichos grupos la conjetura del semigrupo de Ellis es válida |
publishDate |
2016 |
dc.date.issued.es_CO.fl_str_mv |
2016 |
dc.date.accessioned.none.fl_str_mv |
2018-09-28T11:00:05Z |
dc.date.available.none.fl_str_mv |
2018-09-28T11:00:05Z |
dc.type.spa.fl_str_mv |
Trabajo de grado - Maestría |
dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/masterThesis |
dc.type.content.spa.fl_str_mv |
Text |
dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TM |
dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/1992/13885 |
dc.identifier.pdf.none.fl_str_mv |
u729679.pdf |
dc.identifier.instname.spa.fl_str_mv |
instname:Universidad de los Andes |
dc.identifier.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional Séneca |
dc.identifier.repourl.spa.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
url |
http://hdl.handle.net/1992/13885 |
identifier_str_mv |
u729679.pdf instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
dc.language.iso.es_CO.fl_str_mv |
eng |
language |
eng |
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 |
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 |
136 hojas |
dc.format.mimetype.es_CO.fl_str_mv |
application/pdf |
dc.coverage.spatial.es_CO.fl_str_mv |
Bogotá |
dc.publisher.none.fl_str_mv |
Uniandes |
dc.publisher.program.es_CO.fl_str_mv |
Maestría en 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 |
publisher.none.fl_str_mv |
Uniandes |
dc.source.es_CO.fl_str_mv |
instname:Universidad de los Andes reponame:Repositorio Institucional Séneca |
instname_str |
Universidad de los Andes |
institution |
Universidad de los Andes |
reponame_str |
Repositorio Institucional Séneca |
collection |
Repositorio Institucional Séneca |
bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/b3c84d4a-6d3e-4235-8077-042ef6273c3f/download https://repositorio.uniandes.edu.co/bitstreams/ae92b0f6-63cd-47e1-9a1a-57d979d057a4/download https://repositorio.uniandes.edu.co/bitstreams/913d7695-9bf0-4cbd-8093-8d5f05e6d68e/download |
bitstream.checksum.fl_str_mv |
8456c617bd22476a5a8cac03a6a76e33 1896caa6e1010a3f30be5bd3cfa034d9 34fd107aed25c5f75460e8a4826f407f |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositorio institucional Séneca |
repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
_version_ |
1812133948190359552 |