Seminário de Lógica Matemática

Model theoretic approach to sub analytic geometry, both real and p-adic, with number theoretic applications (I, still continuation)

MÁRIO EDMUNDO - UNIVERSIDADE ABERTA

ABSTRACT::

In part I of the mini-course we will present the model theoretic proof of Gabrielov theorem of the complement in real sub analytic geometry. This model theoretic proof (due to Denef and van den Dries) is based on quantifier elimination (QE) method is shorter and more explicit then the original proof, it used Weierstrass preparation theorem and Tarski-Seidenberg QE for the real field.  If time allows we will also present a (more geometric) proof  of Tarski QE result.



In part II we will present the model theoretic proof (again due to Denef and van den Dries) of Hironaka's p-adic analogue of Gabrielov theorem. As before this other method is shorter, more explicit and based on Weierstrass preparation and Macintyre QE for the p-adic field.



In part III we will talk about the number theoretic applications of the above,  respectively: (i) the recent  new proof of Manin-Mumford (and in fact, extending the method, of Andre-Ort type conjectures) (Pila-Zanier, Pila-Wilkie, Peterzil-Starchenko); (ii) the old proof of rationality of the Poincaré series of closed analytic/algebraic sets of p-adic integers.



We hope to present the subject in a way accessible to everyone (including the speaker!), but with details and small exercises for the basic steps. Details and small exercises will probably not show up in part III.

Unite!Widening pretende promover as melhores práticas na gestão da ciência

Candidaturas para profissionais administrativos terminam a 21 de setembro 

Ilustração de buraco negro

Os dados do Quasar RACS J0320-35 abriram novas pistas teóricas

Feira dos Núcleos de Estudantes

Feira registou estreia de três novos núcleos de estudantes 

Fotografia de grupo dos estudantes

CIÊNCIAS recebeu este mês 115 alunos em mobilidade, que irão estudar na nossa faculdade no primeiro semestre do ano letivo 2025/2026.

Foto da Reitoria da ULisboa vista a partir da Alameda da Cidade Universitária.

A Universidade de Lisboa (ULisboa) consolidou a sua posição como a instituição portuguesa mais bem classificada no Performance Ranking of Scientific Papers for World Universities 2025 da National Taiwan University (NTU), figurando entre as 200 melhores do mundo.

Miguel Pinto, doutorando de CIÊNCIAS

Doutorando de CIÊNCIAS vai pôr à prova teoria alternativa durante passagem pelos EUA 

Bolsas de apoio a estudos e investigação variam entre €1000 e €1500

Luís Carriço, diretor de CIÊNCIAS

Luís Carriço, diretor de CIÊNCIAS, revela as expectativas para o novo ano letivo 

Grande auditório no arranque do ano letivo

Cerimónia juntou alunos no Grande Auditório para o início do novo ano

Manuel Martinho, vice-campeão europeu universitário de Taekwondo

Atleta de Taekwondo já aponta ao campeonato do mundo... e ao mestrado de Tecnologias da Informação!

Fachada de CIÊNCIAS

A Faculdade de Ciências da Universidade de Lisboa (CIÊNCIAS) vai arrancar o novo ano letivo de 2025/2026 com uma reformulação nos departamentos.

Divulgação de temas científicos

Museu de História Natural e Jardim Botânico agregam maioria das atividades

Céu

CIÊNCIAS ULisboa lamenta o triste acontecimento e apresenta as condolências aos seus familiares, amigos, colegas e antigos estudantes.

Vista do cabo de São Vicente

Estudo internacional com participação da Faculdade de Ciências da Universidade de Lisboa (CIÊNCIAS) traz nova explicação para os grandes sismos que afetaram Lisboa em 1755 e 1969.  

Reitoria da ULisboa

A Universidade de Lisboa está entre as 300 melhores universidades do mundo, segundo o mais antigo, influente e conceituado ranking mundial

Sete cientistas dão sugestões de verão

Dos passadiços aos meteoros, passando por livros e geocaching, ninguém fica de fora

Afonso Ferreira, investigador de CIÊNCIAS e MARE

Jovem investigador de CIÊNCIAS distinguido por estudo sobre fitoplâncton da Antártida

Ismael Tereno, professor de CIÊNCIAS

Missão da ESA pode ajudar a revelar alguns dos mistérios do Universo

Atuns-rabilho do Atlântico são capturados numa pescaria

Estudo prevê mudanças significativas na distribuição das principais espécies de atum no Oceano Atlântico

Telescópio de 3,6 metros do Observatório de La Silla

Investigadores de CIÊNCIAS criaram dispositivo de correção de dispersão cromática

O Ser Cientista recebeu 75 jovens do Secundário

Programa Ser Cientista juntou 75 jovens à volta de 17 projetos laboratoriais

Colisão de Theia com a Terra

Artigo científico promete início de novo paradigma para o estudo do planeta 

Cláudio Fernandes e Duarte Almeida

Depois de três meses de trabalhos informais, a nova Comissão recebeu luz verde para a constituição formal, através de um despacho da direção de CIÊNCIAS, que foi lançado no início de julho. A primeira reunião oficial já teve lugar e o novo elenco já começou a preparar os desafios para os próximos dois anos de atividade.

Foto de uma onda no mar

O oceano já faz muito por nós. Absorve cerca de 30% do dióxido de carbono (CO₂) que emitimos e retém mais de 90% do calor em excesso provocado pelas alterações climáticas. Mas será que pode fazer ainda mais?

Foto de Carlos M. Farinha

Carlos M. Farinha, co-responsável do Laboratório de Investigação em Fibrose Quística de CIÊNCIAS e um dos vice-diretores do BioISI – Biosystems and Integrative Sciences Institute, foi reeleito membro da Direção da European Cystic Fibrosis Society (ECFS).

Páginas