Detalhes bibliográficos
| Ano de defesa: |
2004 |
| Autor(a) principal: |
Sanabria, Leonardo Prieto |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Tese
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/
|
Resumo: |
O objetivo principal deste trabalho é estudar algumas propriedades de expansões, por adição de funções analíticas, das estruturas (I, +, ., 0, 1, P), e (D, +, ., 0, 1, P), onde I denota o disco unitário de 'Q BARRA IND. P', D o discu unitário de 'C IND. P' e P é o predicado binário P(x, y):=|y|menor ou igual|x|. Primeiro provamos um teorema de eliminação de quantificadores para uma expansão do disco unitário de 'Q BARRA IND. P', depois obtemos um resultado análogo para uma expansão de D. A seguir, mostramos algumas conseqüências desses resultados no estudo de conjuntos definíveis. Nas conclusões formulamos alguns problemas abertos e damos possíveis caminhos para resolvê-los |
