| dc.contributor | Costa, Newton C. A. da | |
| dc.contributor | Universidade Federal de Santa Catarina | |
| dc.creator | Rocha, Jucavo Savie | |
| dc.date | 2013-07-16T03:17:28Z | |
| dc.date | 2013-07-16T03:17:28Z | |
| dc.date | 2007 | |
| dc.date | 2007 | |
| dc.date.accessioned | 2017-04-03T22:01:53Z | |
| dc.date.available | 2017-04-03T22:01:53Z | |
| dc.identifier | 249345 | |
| dc.identifier | http://repositorio.ufsc.br/handle/123456789/103174 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/719843 | |
| dc.description | Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas. Programa de Pós-graduação em Matemática e Computação Científica | |
| dc.description | Seja K um corpo algebricamente fechado. Dizemos que um subconjunto de Kn, onde n é um número natural positivo, é construtível se for uma combinação booleana de conjuntos Zariski fechados.
Na teoria dos modelos, um subconjunto de Kn é dito ser definível se todos os elementos desse conjunto, e somente estes, satisfizerem uma determinada propriedade definida por uma fórmula da linguagem de primeira ordem dos anéis.
Um dos nossos principais objetivos será mostrar, na teoria dos corpos algebricamente fechados, a equivalência entre os conjuntos construtíveis e os conjuntos definíveis. Como conseqüência disso vamos demonstrar alguns resultados algébricos, como o Nullstellensatz de Hilbert, utilizando técnicas da teoria dos modelos. | |
| dc.language | por | |
| dc.publisher | Florianópolis, SC | |
| dc.subject | Física | |
| dc.subject | Logica | |
| dc.subject | Algebra | |
| dc.subject | Teoria dos modelos | |
| dc.title | Algumas aplicações algébricas da teoria dos modelos | |
| dc.type | Tesis | |
