Seminário de Lógica Matemática

Topology of definable sets in products of definable group-intervals

Sala 6.2.33, FCUL, Lisboa

Mário Edmundo
CMAF-CIO, Universidade de Lisboa

Abstract: Eleftheriou, Peterzil and Ramakrishnan showed that definable groups in arbitrary o-minimal structures are definable in products of definable group-intervals.  Thus understanding the topology of definable sets in products of definable group-intervals  is crucial to complete our understanding of definable groups (in particular, by extending the proof of Pillay's conjecture to the general case). In this talk we will present a couple of results in this direction (joint work with Mamino, Prelli, Ramakrishnan and Terzo).

This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project: UID/MAT/04561/2013.

15h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Imagem do evento

Extended enrolement date until July 12th.

Programa brevemente disponível.

Logótipo do Workshop

A participação na 3.ª edição do Workshop é gratuita, mediante inscrição prévia.

Are you ready for this year's edition?

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.