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
Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Imagem do evento

Extended enrolement date until July 12th.

Logótipo do Workshop

A participação na 3.ª edição do Workshop é gratuita, mediante inscrição prévia.

Are you ready for this year's edition?

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.