Algumas aplicações algébricas da teoria dos modelos

Detalhes bibliográficos
Autor(a) principal: Rocha, Jucavo Savie
Data de Publicação: 2007
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/handle/123456789/103174
Resumo: 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
id UFSC_87b182eb22137af01cff90a920da780c
oai_identifier_str oai:repositorio.ufsc.br:123456789/103174
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Algumas aplicações algébricas da teoria dos modelosFísicaLogicaAlgebraTeoria dos modelosDissertaçã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íficaSeja 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.Florianópolis, SCCosta, Newton C. A. daUniversidade Federal de Santa CatarinaRocha, Jucavo Savie2013-07-16T03:17:28Z2013-07-16T03:17:28Z20072007info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf249345http://repositorio.ufsc.br/handle/123456789/103174porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2014-01-19T02:29:43Zoai:repositorio.ufsc.br:123456789/103174Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732014-01-19T02:29:43Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Algumas aplicações algébricas da teoria dos modelos
title Algumas aplicações algébricas da teoria dos modelos
spellingShingle Algumas aplicações algébricas da teoria dos modelos
Rocha, Jucavo Savie
Física
Logica
Algebra
Teoria dos modelos
title_short Algumas aplicações algébricas da teoria dos modelos
title_full Algumas aplicações algébricas da teoria dos modelos
title_fullStr Algumas aplicações algébricas da teoria dos modelos
title_full_unstemmed Algumas aplicações algébricas da teoria dos modelos
title_sort Algumas aplicações algébricas da teoria dos modelos
author Rocha, Jucavo Savie
author_facet Rocha, Jucavo Savie
author_role author
dc.contributor.none.fl_str_mv Costa, Newton C. A. da
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Rocha, Jucavo Savie
dc.subject.por.fl_str_mv Física
Logica
Algebra
Teoria dos modelos
topic Física
Logica
Algebra
Teoria dos modelos
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
publishDate 2007
dc.date.none.fl_str_mv 2007
2007
2013-07-16T03:17:28Z
2013-07-16T03:17:28Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 249345
http://repositorio.ufsc.br/handle/123456789/103174
identifier_str_mv 249345
url http://repositorio.ufsc.br/handle/123456789/103174
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808651890042339328

Registros relacionados