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 self-distributive 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-16h30
CEMS.UL - Centro de Estudos Matemáticos
