Seminário de Lógica Matemática

Laver tables and Large Cardinals

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

Por Luís Pereira (Universidade de Lisboa).

Laver tables are the multiplication tables of finite algebras that satisfy the left selfdistributive law. The rows of Laver tables are periodic and their periods increase very slowly with the cardinality of the algebra. The only known proof that their periods actually tend to infinity as a function of the cardinality of the algebras requires the use of strong set-theoretic hypotheses. Large cardinals that are very close to inconsistency.

In this talk I will present the proof that the periods of the rows of Laver tables tend to infinity. I will give all relevant definitions so no prior knowledge of the concepts involved will be required to follow the proof.


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

14h00-17h00
CEMS.UL - Centro de Estudos Matemáticos
Computador portátil a projetar imagem de sequência biológica

O curso visa a aquisição de conhecimentos sobre as ferramentas bioinformáticas disponíveis para efetuar análises de sequências de DNA e proteínas, bem como a autonomia e espírito crítico na utilização dessas ferramentas. Procura igualmente desenvolver competências na utilização de software de bioinformática disponível gratuitamente na Internet e na interpretação do significado biológico dos resultados - candidaturas até 12 dezembro.

Bola de cristal colocada no solo

O curso tem como objetivo apresentar aos participantes um estado da arte atualizado sobre a diversidade da biota do solo e os papéis funcionais desempenhados pelos organismos do solo nos principais processos ecológicos - candidaturas até 19 de dezembro.

Imagem exemplificativa da área da deteção remota

Este curso avançado tem como objetivo fornecer acesso e ferramentas para a aquisição e processamento de dados de deteção remota para diferentes aplicações, usando imagens multiespectrais de satélite, drone, terrestres e LiDAR, com foco na caracterização da vegetação e da paisagem, bem como das suas mudanças ao longo do tempo - candidaturas até 19 de dezembro.

Imagem abstrata

Neste curso, será promovida uma abordagem multidisciplinar, apresentando as descobertas mais recentes sobre o tema e desafiando a forma tradicional de considerar as associações simbióticas como exceções e não como a regra - candidaturas até 09 de janeiro.

A conferência visa reunir os principais especialistas no domínio da Imagiologia Médica por Micro-ondas (MMWI) e incluirá palestras, apresentações e pósteres de resumos revistos por pares e artigos de conferências, bem como workshops em áreas satélite de investigação com interesse para a investigação em MMWI.

Páginas