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

• Ano de defesa: 2012
• Autor(a) principal: Figueiredo, Rodrigo
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: 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
• Link de acesso: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/

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.