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...
| Autor: | |
|---|---|
| Tipo de documento: | dissertação |
| Estado: | Versão publicada |
| Data de publicação: | 2016 |
| País: | Colombia |
| Recursos: | Universidad de los Andes |
| Repositório: | Séneca: repositorio Uniandes |
| Idioma: | inglês |
| OAI Identifier: | oai:repositorio.uniandes.edu.co:1992/13885 |
| Acesso em linha: | http://hdl.handle.net/1992/13885 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Grupos algebráicos - Investigaciones Grupos abelianos - Investigaciones Matemáticas - Investigaciones Matemáticas |
| Resumo: | 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 |
|---|