Tese de Doutorado
DOI
https://doi.org/10.11606/T.45.2004.tde-20210729-134251
Documento
Autor
Nome completo
Leonardo Prieto Sanabria
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2003
Orientador
Título em português
Teoria de modelos de corpos p-ádicos com funções analíticas
Palavras-chave em português
Lógica Matemática
Resumo em português
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
Título em inglês
not available
Resumo em inglês
not available
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2021-07-29