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.

Dois professores de CIÊNCIAS eleitos sócios da Academia das Ciências de Lisboa

Pedro Miguel Duarte e Luís Eduardo Neves Gouveia, professores de CIÊNCIAS, foram eleitos sócios da Academia das Ciências de Lisboa.

O Centro de Congressos da Alfândega do Porto é o palco da edição de 2024 do Encontro Ciência.

Luís Carriço (Diretor de CIÊNCIAS) e Carlos Martins (Presidente da EPAL) junto a um dos novos bebedouros.

A Faculdade de Ciências da Universidade de Lisboa aderiu ao desafio da EPAL - Empresa Portuguesa das Águas Livres de consumir Água da Torneira nas suas áreas comuns, representando mais um compromisso com o Ambiente e com

 Rodrigo Freitas, Francisco Graça e Diogo Ávila no Pódio dos 3000 metros obstáculos no Campeonato Nacional Universitário de Pista ao Ar Livre

Rodrigo Freitas, estudante de CIÊNCIAS, sagrou-se bicampeão no Campeonato Nacional Universitário (CNU) de Atletismo Pista Ar Livre.

Desde ontem que CIÊNCIAS dispõe de um novo espaço: o Lounge C7!

Carolina Margarido, Catarina Lima e Raquel Costa seguram o prémio de primeiro lugar na segunda fase do Future Innovators Program da Unicorn Factory Lisboa

Carolina Margarido, Catarina Lima e Raquel Costa venceram a segunda fase do Future Innovators Program da Unicorn Factory Lisboa

A cientista Ana Russo, investigadora do Instituto Dom Luiz (IDL), visitou duas escolas básicas do concelho de Sintra no dia 23 de abril para rea

Branca Edmée Marques, cientista alumna de CIÊNCIAS

Branca Edmée Marques, alumna de CIÊNCIAS, será homenageada no dia 20 de junho pelos Museus da Universidade de Lisboa

Vanessa Fonseca, Catarina Frazão Santos, Rita Cardoso, Cláudio Gomes, Ana Duarte Rodrigues e Paulo J. Costa posam com os prémios para uma foto numas escadas

A faculdade conseguiu obter o segundo lugar entre as Escolas da Universidade de Lisboa mais galardoadas.

Margarida Fortes, docente do Departamento de Biologia Vegetal de CIÊNCIAS dá uma aula em frente a um quadro com uma projeção imagética

Margarida Fortes, professora de CIÊNCIAS, visitou a Escola Secundária de Carcavelos para dar uma aula acerca da edição genética.

Um grupo de membros de Instituições do Ensino Superior, onde se inclui CIÊNCIAS, está reunido em frente a um jardim, em visita à Siemens

 A iniciativa teve como objetivo aproximar a academia do tecido empresarial.

Nuno Gonçalves alcança o segundo lugar na competição 3MT ULisboa.

Nuno Gonçalves foi distinguido com o segundo lugar, na final da competição ‘Três Minutos de Tese – 3MT ULisboa’, que se realizou esta quint

Inês Ventura

Inês Ventura, a desenvolver o seu doutoramento no Centro de Ciências do Mar e do Ambiente (MARE) e no Instituto de Biossistemas e Ciências Integrativas (

Universidade de Lisboa

A Universidade de Lisboa alcança a 260ª posição no QS World University Rankings (SUR) 2025, tornando-se na universidade portuguesa mais bem classificada neste ranking.

Signatários do acordo

Dia 5 de junho foi assinado o acordo para a construção do espectrógrafo ANDES (ArmazoNes high Dispersion Echelle Spectrograph – Espectrógrafo Echelle de alta dispersão do Armazones), entre o Observatório Europeu do Sul (

 Luís Carriço, Diretor de CIÊNCIAS, e David Gonçalves, Dean do Instituto da Ciência e do Ambiente da Universidade de São José (USJ) assinam acordo sentados a uma mesa

CIÊNCIAS assinou no dia 5 de junho um acordo de cooperação com o Instituto da Ciência e do Ambiente da Universidade de São José (USJ)

Equipa do projeto 'Ciências em Harmonia'

Esta terça-feira, 28 de maio, o projeto ‘Ciências em Harmonia’ assinalou o seu primeiro ano de atividades: um marco comemorado com um convívio informal com a comunidade, que

António Branco

António Branco, docente do Departamento de Informática de CIÊNCIAS, foi um dos oradores convidados da conferência que

CIÊNCIAS presente no filme ‘O melhor dos mundos’

Sabemos que no futuro um sismo de magnitude significativa voltará a atingir Lisboa. Não sabemos é quando. E se o pudéssemos prever? E se existisse uma probabilidade forte de ser já em 2027? É este o cenário de ‘O melhor dos mundos’, que estreia nas salas de cinema a 10 de outubro. O filme, realizado por Rita Nunes, contou com a participação de membros de CIÊNCIAS.

Ana Santos, finalista 3MT ULisboa

Ao longo dos próximos dias, daremos a conhecer os quatro finalistas de CIÊNCIAS que irão participar na final da competição

Painel e sessão de Perguntas & Respostas | Estreia de documentário

Perto de 120 pessoas assistiram este sábado, 25 de maio, à estreia do documentário ‘O que se esconde na luz? A ciência da missão espacial Euclid’, produzido pelo Instituto de Astrofísica e Ciências do Espaço (IA).

Páginas