Seminário de Lógica Matemática

Free sets and rainbows for colorings of exactly large sets

Videoconferência

Por Oriola Gjetaj (University of Ghent).

Ramsey’s Theorem has been widely investigated in Computability Theory, Proof Theory and Reverse Mathematics. In this talk we formulate, prove and analyze the  generalizations of Friedman’s Free Set and Thin Set theorems, as well as of the Rainbow Ramsey Theorem to colorings of exactly large sets, i.e. sets such that card(X) = min(X) + 1. The notion of a large set is well-known to proof-theorists for its key role in the famous Paris-Harrington Principle, providing one of the most mathematically natural witnesses of the incompleteness of first-order Peano Arithmetic. The Free Set, Thin Set and Rainbow Ramsey’s Theorem are consequences of the classical Ramsey’s Theorem. The Free Set Theorem for dimension k > 0 states that given a coloring f of k-subsets of N in unboundedly many colors, there exists an infinite set A ⊆N such that for all k-sets s ⊆A, if f (s) ∈A then f (s) ∈s. It is natural to consider the analogous generalizations of the Free Set, Thin Set and Rainbow Ramsey Theorem to colorings of exactly large sets and to inquire into their effective and logical strength.

This is a joint work with Lorenzo Carlucci and Andrea Vivi.


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

15h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Uma oportunidade única para interagir com a comunidade global de computação científica.

Seminário do Centro de Física Teórica e Computacional, por Pablo Sartori (Instituto Gulbenkian de Ciência, Oeiras, Portugal).

Seminário do Departamento de Física de Ciências ULisboa, por João Ramalho Pires (FCUL - LIP).

Seminário de Geometria e Física, por Ariel Pacetti (Universidade de Aveiro).

Fotografia do stand da Imprensa da ULisboa

A 95.ª Feira do Livro de Lisboa decorre de 04 a 22 de junho.

Mar

Seminário de Projeto de Investigação (Doutoramento em Biologia - Especialidade de Biologia Marinha e Aquacultura), por  João Noronha Gamito Trigo de Sousa.

Earth Systems Seminar, por Luis Gimeno-Sotelo (CEAUL, ULisboa / EPhysLab, UVigo).

Copilot Chat

Nesta sessão, serão exploradas as funcionalidades e benefícios do Microsoft 365 Copilot Chat de forma personalizada à comunidade académica de CIÊNCIAS.

Seminário de Lógica Matemática, por Duarte Maia (University of Chicago).

Logótipo Moodle

Ação de formação para docentes e investigadores de CIÊNCIAS.

Logótipo Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Título/data/local do evento e iconografia representativa de energias renováveis

Junta-te a esta revolução energética e faz a diferença!

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do evento.

Fotografia de alimentos

Comemoração do Dia Mundial da Segurança dos Alimentos em CIÊNCIAS.

Neste curso ficarás a saber como te podes tornar um permacultor eficiente, produtivo e consciente! O curso está preparado para iniciantes na prática de permacultura.

Formação - Cultivar em Permacultura.

Pessoas a interagirem em frente a um computador portátil

As inscrições para a edição de 2025 da formação decorrem até às 17h do dia 23 de maio.

Químico a escrever fórmulas num quadro

Curso acreditado para efeitos de progressão na carreira dos professores do Ensino Básico e Secundário do Grupo 510 (CCPFC/ACC-118288/22), com candidaturas até 18 de maio.

Curso destinado a estudantes de Mestrado e de Doutoramento, bem como a profissionais que desenvolvam investigação científica na área da saúde.

Título/data/local do evento e fotografia do mar

Quais são os conceitos-chave para enfrentar os atuais desafios marinhos e costeiros? 

Daniel da Silva Distinguished Lecture, por Jean-Pierre Bourguignon (IHÉS).

Representação de programação R

This course aims at providing students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

The conference focuses on "Algebra and its role in Computer Science", with special emphasis on the areas of study related to the work of M. V. Volkov, such as semigroups and automata.

Título/data/local do evento e fotografia do espaço

How far will you go? The IA Summer Program 2025 is your launchpad to the Universe - apply until 26 May!

Workshop organizado pelo CEMS.UL - Centro de Estudos Matemáticos e pelo CAMGDS - Centro de Análise Matemática, Geometria e Sistemas Dinâmicos.

Páginas