Um resultado geral de modelo completude de expansões do corpo ordenado dos reais

Detalhes bibliográficos
Autor(a) principal: Figueiredo, Rodrigo
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/
Resumo: Este trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa.
id USP_a633daa0263485863aa5950c8739c187
oai_identifier_str oai:teses.usp.br:tde-01022013-171949
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Um resultado geral de modelo completude de expansões do corpo ordenado dos reaisA general model completeness result for expansions of the real ordered fieldCharbonnel closureestrutura fraca o-minimalestrutura o-minimalexpansão do corpo ordenado dos reaisexpansion of the real ordered fieldfecho Charbonnellogiclógicamodel complete theorymodel theoryo-minimal structureteoria dos modelosteoria modelo completaEste trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa.The main focus of this dissertation lies in establishing some general sufficient conditions for an expansion of the real ordered field by functions with domains Rn to be model complete and o-minimal. We approach this subject from the point of view of the o-minimal weak structures, by following the work of Charbonnel and Wilkie. Furthermore, when considering additional conditions, we are able to obtain the following generalization of a Gabrielovs result: an expansion of the real ordered field by restricted smooth functions, which is polynomially bounded and closed under partial differentiation, is model complete.Biblioteca Digitais de Teses e Dissertações da USPBianconi, RicardoFigueiredo, Rodrigo2012-10-17info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2016-07-28T16:10:35Zoai:teses.usp.br:tde-01022013-171949Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212016-07-28T16:10:35Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
A general model completeness result for expansions of the real ordered field
title Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
spellingShingle Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
Figueiredo, Rodrigo
Charbonnel closure
estrutura fraca o-minimal
estrutura o-minimal
expansão do corpo ordenado dos reais
expansion of the real ordered field
fecho Charbonnel
logic
lógica
model complete theory
model theory
o-minimal structure
teoria dos modelos
teoria modelo completa
title_short Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
title_full Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
title_fullStr Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
title_full_unstemmed Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
title_sort Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
author Figueiredo, Rodrigo
author_facet Figueiredo, Rodrigo
author_role author
dc.contributor.none.fl_str_mv Bianconi, Ricardo
dc.contributor.author.fl_str_mv Figueiredo, Rodrigo
dc.subject.por.fl_str_mv Charbonnel closure
estrutura fraca o-minimal
estrutura o-minimal
expansão do corpo ordenado dos reais
expansion of the real ordered field
fecho Charbonnel
logic
lógica
model complete theory
model theory
o-minimal structure
teoria dos modelos
teoria modelo completa
topic Charbonnel closure
estrutura fraca o-minimal
estrutura o-minimal
expansão do corpo ordenado dos reais
expansion of the real ordered field
fecho Charbonnel
logic
lógica
model complete theory
model theory
o-minimal structure
teoria dos modelos
teoria modelo completa
description Este trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa.
publishDate 2012
dc.date.none.fl_str_mv 2012-10-17
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 http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/
url http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090265663668224

Registros relacionados