Teoria de modelos de corpos p-ádicos com funções analíticas (2004)
- Authors:
- Autor USP: SANABRIA, LEONARDO PRIETO - IME
- Unidade: IME
- Sigla do Departamento: MAT
- Assunto: LÓGICA MATEMÁTICA
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 18.02.2004
-
ABNT
SANABRIA, Leonardo Prieto. Teoria de modelos de corpos p-ádicos com funções analíticas. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/. Acesso em: 19 set. 2024. -
APA
Sanabria, L. P. (2004). Teoria de modelos de corpos p-ádicos com funções analíticas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/ -
NLM
Sanabria LP. Teoria de modelos de corpos p-ádicos com funções analíticas [Internet]. 2004 ;[citado 2024 set. 19 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/ -
Vancouver
Sanabria LP. Teoria de modelos de corpos p-ádicos com funções analíticas [Internet]. 2004 ;[citado 2024 set. 19 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
