Mathematical Logic Seminar

Non-tightness in class theory and second-order arithmetic

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

Por Alfredo Freire (University of Aveiro).

A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA (Visser, 2006), ZF, Z_2 (second order arithmetic), and KM (Enayat, 2017). In this presentation, we study subsystems of these latter two theories. We start with a brief exposition of the tightness phenomena and then we prove that restricting the Comprehension schema of Z_2 and KM gives non-tight theories. These results provide evidence that tightness characterizes Z_2 and KM in a minimal way.

This talk is about joint work with Kameryn Williams, Sam Houston University.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título/data/local do evento e três fotografias relacionadas com a permacultura

Permacultura? Não é uma pseudociência esotérica? Uma utopia sem fundamento científico? Para desmistificar estas e outras ideias, o permacultor certificado Tiago Silva (SmartLeap) guiar-te-á pelos caminhos desta prática multidisciplinar, fundada em sólidas bases empíricas.

A iniciativa visa elaborar cabazes de Natal e entregá-los a quem mais necessita, decorrendo as recolhas nos dias 02 e 09 de dezembro, das 14h00 às 17h00, no átrio do edifício C5 de CIÊNCIAS.

Seminário do Centro de Física Teórica e Computacional, por Ricardo Dias (Departamento de Física, Universidade de Aveiro, Portugal).

Títulos/datas e imagens alusivas aos 4 workshops

Sabias que aprender a organizar o teu tempo, estruturar os teus métodos de estudo e gerir as tuas emoções pode fazer toda a diferença no teu sucesso académico?

Título/data/local do evento e logótipos da FCT, PRR e ULisboa

O programa incluirá uma mesa-redonda e a apresentação do Programa ERC-Portugal, enquanto instrumento de apoio à comunidade científica nos vários ciclos da participação nacional nos concursos do ERC.

Seminário no âmbito do Mestrado em Bioestatística, por Cristiana Palmela Pereira (CEAUL, Faculdade de Medicina Dentária da Universidade de Lisboa).

Seminário Doutoral I (Doutoramento em Biologia), por Sara Bento.

Seminário de Lógica Matemática, por Borja Sierra Miranda (University of Bern).

Título do evento, logótipos da ULisboa/DGES e fotografia de peças de xadrez

Sentes-te perdido/a em relação ao teu futuro académico/profissional? Ainda não sabes qual a melhor área a seguir ou como definir a tua carreira? Este workshop é para ti!

Seminário em Biologia Humana e Ambiente, por João Brandão (National Institute of Health Dr. Ricardo Jorge - INSA / Researcher at the Centre for Environmental and Marine Studies - CESAM_FCUL).

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 Miguel Pereira (Cogitars, UK).

Geometry and Physics Seminar, por Pedro M. Silva (CMAFcIO).

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Uma conversa sobre ti, alguém amigo ou apenas acerca de ansiedade.

Logótipo do concurso

As candidaturas à 21.ª edição decorrem até 06 de dezembro.

Título da iniciativa, logótipos das entidades envolvidas e fotografias de dois jovens

Voa alto com o teu talento no Talent Bootcamp em CIÊNCIAS.

Data Science Seminar, por Ana Filipa Rodrigues (LASIGE).

Logótipo do evento, sobre um fundo cor-de-rosa

Marcam presença neste concerto a Orquestra Sinfónica Juvenil, o Coro da Universidade de Lisboa (CUL) e o Coro do Instituto Gregoriano de Lisboa, com Direção de Christopher Bochmann.

Título/data/local do evento e fotografia de cantor

Concerto pelo Duo de canto e piano, no âmbito da Temporada Darcos, e que integra o programa Música na Universidade de Lisboa.

Título do programa, fotografia de dois jovens e logótipo da Rede Alumni CIÊNCIAS

As candidaturas estão abertas até dia 09 de dezembro.

Seminário Doutoral III (Doutoramento em Biologia), por Susana Martins.

Título/data/local do evento e fotografia de autocarro

Evento no âmbito do Ciclo de Conferências "Conversas à Terça", promovido pela redeMOV da Universidade de Lisboa.

Fotografia do Professor Pedro Miranda

Lição de Jubilação "Wind and water: on-going research on climate processes".

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 Joaquin Cavieres (University of Gӧttingen, Germany).

Título/data/local do evento e fotografia de António Sampaio da Nóvoa

A sessão será presidida por Sua Excelência O Presidente da República, Marcelo Rebelo de Sousa.

Páginas