Seminário de Lógica Matemática

Kunen's inconsistency and immediately below

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

Por Luís Pereira (Universidade de Lisboa).

At the end of his thesis William Reinhardt formulated a large cardinal hypothesis that was soon proven, by Kenneth Kunen, to be inconsistent with the Axiom of Choice. In this talk I will present Reinhardt's hypothesis and why it is such a strong statement. By looking at Kunen's proof one can formulate large cardinal hypothesis for which the proof fails just barely. Intriguingly, these hypothesis have since found applications in more mundane Mathematics, even finitary Mathematics. In particular, I will present Laver tables and a fact about them whose only known proof requires the use of such very large cardinals.


Transmissão via Zoom (pw: 919 4789 5133).

15h00-16h00
CEMS.UL - Centro de Estudos Matemáticos
Composição de imagens relativas à área das ciências forenses

O curso visa dotar os formandos com os conhecimento necessários à integração de equipas profissionais multidisciplinares nas áreas Médico-Legais e Forenses, em Laboratórios ou Serviços Médico-Legais e Forenses - candidaturas até 27 de julho.

Logótipo do evento

Physics Day é um evento promovido pelo Departamento de Física da Faculdade de Ciências da ULisboa, com um duplo objetivo: valorizar a diversidade e excelência da formação dos doutorados e promover um espaço de diálogo direto entre empresas e estudantes.

Cientista a trabalhar com tubos de ensaio

Os participantes neste curso irão adquirir os conhecimentos essenciais à integração de equipas profissionais multidisciplinares na área das Análises Clínicas/Patologia Clínica, em laboratórios privados, públicos, hospitalares ou do Estado - candidaturas até 27 de julho.

Gotas de água

O curso visa capacitar os formandos para a aplicação dos índices de qualidade ecológica utilizados na avaliação da qualidade ambiental em sistemas de transição, no âmbito da Diretiva Quadro da Água (DQA) - candidaturas até 31 de agosto.

Saída de campo (Geologia)

O curso, com candidaturas até 20 de julho, convida os professores do Ensino Básico e Secundário a explorar a Geologia a partir das rochas que afloram nas imediações da sua escola.

Composição de três imagens relativas à área da deteção remota

2.ª edição do curso, com candidaturas até 18 de outubro.

The conference aims to bring together key experts in the Medical Microwave Imaging (MMWI) field and will include invited talks, presentations and posters of peer-reviewed abstracts and conference papers, and workshops in satellite areas of research that are of interest to MMWI research.

Páginas