CV Lattes
ResearcherID
ORCID
Google Scholar Citations
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Professor do Instituto de Matemática e Estatística da Universidade de São Paulo. Graduação (2002), Mestrado (2004) e Doutorado (2007) em Matemática pelo Instituto de Matemática e Estatística da Universidade de São Paulo. Áreas de pesquisa: Espaços de Banach, Topologia, Teoria dos Conjuntos, Forcing e Lógica. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Usando técnicas de Teoria dos Conjuntos e Combinatória Infinita, investigamos problemas relacionados à geometria dos espaços de Banach da forma C(K). Em especial, estudamos os espaços C(K) com poucos operadores, isto é, tais que todo operador em $C(K)$ é multiplicação por uma função contínua mais um operador fracamente compacto. Quando K é conexo, isso implica que C(K) é indecomponível, u…
O projeto trata de problemas deixados por S. Banach, principalmente no que concerne a existência de espaços de Banach com "poucos operadores". Um problema relacionado com isto é a existência de espaços de Banach indecomponíveis, ou seja, que não podem ser decompostos como soma direta de dois subespaços fechados de dimensão infinita. Gowers e Maurey obtiveram o primeiro exemplo em 1993. P.…
Diversos problemas de análise funcional sobre espaços de Banach apresentam-se relacionados com questões de combinatória infinitária. O uso de ferramentas de lógica, teoria dos conjuntos e combinatória infinita tem possibilitado a resolução de alguns desses problemas que estavam em aberto há décadas. Vários desses resultados são de consistência ou de indecidibilidade, como as conjeturas de…
O projeto visa estudar as duas principais formas de combinações de sistemas de Lógica Modal e Temporal: a fusão e a modalização. A primeira consiste na combinação independente de dois ou mais sistemas de Lógica Modal, unindo seus conectivos da linguagem e suas axiomatizações. A segunda consiste na aplicação externa de uma Lógica Modal a um sistema lógico genérico. Estudaremos a preservaçã…
| 1 | Auxílios à pesquisa concluídos |
| 3 | Bolsas no país concluídas |
| 4 | Todos os Auxílios e Bolsas |
| Processos vinculados | |