Mathematical Logic Seminar

Determinacy and Infinite Games

Sala 6.2.33, Ciências ULisboa (com transmissão via Zoom)

Por Niko Gruben (Universidade de Lisboa)

 

The standard axioms of $ZFC$ have been fixed for some time now, with proposals for new axioms rarely gaining any traction. One particular area of set theory, the theory of infinite games, has nonetheless given rise to attractive new axioms exceptionally different from the classic ones. In this talk I will give an introduction to this area and some of its results, before moving on to the possible new axioms and their underlying philosophy. 

Transmissão via Zoom.

 

14h00
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.

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.