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

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...

Full description

Bibliographic Details
Main Author:	Figueiredo, Rodrigo
Other Authors:	Bianconi, Ricardo
Format:	Others
Language:	pt
Published:	Biblioteca Digitais de Teses e Dissertações da USP 2012
Subjects:	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
Online Access:	http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/

id	ndltd-usp.br-oai-teses.usp.br-tde-01022013-171949
record_format	oai_dc
spelling	ndltd-usp.br-oai-teses.usp.br-tde-01022013-1719492019-05-09T17:25:04Z 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 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 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. 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 USP Bianconi, Ricardo 2012-10-17 Dissertação de Mestrado application/pdf http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/ pt Liberar o conteúdo para acesso público.
collection	NDLTD
language	pt
format	Others
sources	NDLTD
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
spellingShingle	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 Figueiredo, Rodrigo Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
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. === 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.
author2	Bianconi, Ricardo
author_facet	Bianconi, Ricardo Figueiredo, Rodrigo
author	Figueiredo, Rodrigo
author_sort	Figueiredo, Rodrigo
title	Um resultado geral de modelo completude de expansões do corpo ordenado dos reais
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
publisher	Biblioteca Digitais de Teses e Dissertações da USP
publishDate	2012
url	http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/
work_keys_str_mv	AT figueiredorodrigo umresultadogeraldemodelocompletudedeexpansoesdocorpoordenadodosreais AT figueiredorodrigo ageneralmodelcompletenessresultforexpansionsoftherealorderedfield
_version_	1719047785120006144

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

Similar Items