Mathematical Logic Seminar

Peano Arithmetic minus and Robinson's Arithmetic Siblings, so alike but so different

Videoconferência

Por Albert Visser (Utrecht University).

This talk reports partly on research in collaboration with Ali Enayat and Mateusz Łełyk.

In my talk I give an introduction to two fundamental weak arithmetical theories, PA^- and Q. I will briefly review some of the salient facts about these theories.

We will zoom in on the question whether these theories have completions of restricted complexity. We consider both depth-of-quantifier-alternation complexity and the \Sigma_n-hierarchy.  The theory PA^- has no complete extension of restricted depth-of-quantifier alternation complexity. The question whether Q has a complete extension of restricted depth-of-quantifier-alternation complexity remains open. Both Q and PA^- do have a complete extension of a single sentence plus a set of \Sigma_1-sentences.

We will sketch a proof.


Transmissão via Zoom.

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

O workshop pretende levar à discussão as coleções botânicas, em particular as de botânica económica, mostrando diferentes perspetivas e olhares sobre as coleções e qual o seu papel na ciência e nas artes.

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

Conferência por Jordi Segalàs (professor associado na Universidade Politécnica de Catalunya - UPC Barcelona Tech; coordenador do grupo de investigação sobre Educação para a Sustentabilidade e Tecnologia).

Palestra por Andrea Peruffo (RedHat).

Seminário do Centro de Física Teórica e Computacional, por Julian Oberdisse (Laboratoire Charles Coulomb - L2C, University of Montpellier, CNRS, France).

Título do curso

Curso Avançado CEAUL / Gades Solutions.

Título/data/local/orador do evento

Lisbon AI Seminar, por Francisco Laranjinha (CFCUL/RG2).

Título e datas de candidatura do programa, sobre um padrão em tons de roxo e laranja

Submissão de candidaturas até 14 de maio.

Logótipo do LIP Summer Internship Program e fotografia de jovem investigador

Os estágios podem ter uma duração entre duas semanas e dois meses e realizam-se nos três polos do LIP - candidaturas até 15 de maio.

Colóquio de Matemática, por Guy Bouchitté (Université de Toulon).

Os oradores plenários irão falar sobre a importância da interdisciplinaridade de forma acessível para todos, estando previstas palestras e apresentação de pósteres por alunos.

Earth Systems Seminar, por Nuno Pimentel (Geology Department and Instituto Dom Luiz, Faculdade de Ciências da Universidade de Lisboa; Geoparque OESTE - Scientific Coordinator).

Logótipo do EVM 2024

Candidaturas até 15 de maio.

Aula aberta no âmbito da Unidade Curricular de Aprendizagem Profunda, por João Carreira (Deepmind).

Seminário do Departamento de Física de Ciências ULisboa, por Richard Brito (CENTRA, Instituto Superior Técnico).

Seminário do Centro de Estatística e Aplicações da Universidade de Lisboa e do Centro de Matemática Computacional e Estocástica, por Diogo Pereira (CEMAT, Instituto Superior Técnico).

Seminário do Laboratório de Instrumentação e Física Experimental de Partículas, por Pedro Assis (LIP).

Seminário "Ásia-Europa, 1500-1800", por Rui Loureiro (ISMAT & CHAM/NOVA).

Seminário Doutoral (Doutoramento em Informática), por Robin Vassantlal.

Um evento dirigido aos alunos do ensino secundário, consistindo numa palestra sobre a microscopia e em visitas aos laboratórios de microscopia/demonstrações experimentais simples.

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Ignacio Suay-Matallana (Universidade de Valência).

Mathematical Logic Seminar, por Paulo Guilherme Santos (ISCAL and CMAFcIO).

Título do evento, acompanhado de representações de espécies animais/vegetais e dos logótipos dos organizadores

A comunidade de Ciências, em conjunto com especialistas de diferentes grupos taxonómicos, inventaria e regista toda a biodiversidade que consiga observar.

Palestra por Bruno Baptista (RedHat).

O MUHNAC celebra o Dia Internacional dos Museus com um programa de atividades gratuitas com o mote da edição de 2024: Museus, Educação e Investigação.

Exposição "Formas & Fórmulas"

Dia 20 de maio, pelas 18h30, na sala 6.2.33 de Ciências (com transmissão online).

Páginas