Está aqui

/ Atualidade / Eventos / Non-tightness in class theory and second-order arithmetic /
Voltar ao Topo
    
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
Cartaz
CMAFcIO
Matemática
Lógica
Computador portátil a projetar imagem de sequência biológica
Bioinformatics analysis of biological sequences

O curso visa a aquisição de conhecimentos sobre as ferramentas bioinformáticas disponíveis para efetuar análises de sequências de DNA e proteínas, bem como a autonomia e espírito crítico na utilização dessas ferramentas. Procura igualmente desenvolver competências na utilização de software de bioinformática disponível gratuitamente na Internet e na interpretação do significado biológico dos resultados - candidaturas até 12 dezembro.
Bola de cristal colocada no solo
Soil ecology and ecosystem services

O curso tem como objetivo apresentar aos participantes um estado da arte atualizado sobre a diversidade da biota do solo e os papéis funcionais desempenhados pelos organismos do solo nos principais processos ecológicos - candidaturas até 19 de dezembro.
Imagem exemplificativa da área da deteção remota
Remote sensing of the environment: a practical course

Este curso avançado tem como objetivo fornecer acesso e ferramentas para a aquisição e processamento de dados de deteção remota para diferentes aplicações, usando imagens multiespectrais de satélite, drone, terrestres e LiDAR, com foco na caracterização da vegetação e da paisagem, bem como das suas mudanças ao longo do tempo - candidaturas até 19 de dezembro.
Imagem abstrata
Until Death Do Us Apart: Living in a Symbiotic World

Neste curso, será promovida uma abordagem multidisciplinar, apresentando as descobertas mais recentes sobre o tema e desafiando a forma tradicional de considerar as associações simbióticas como exceções e não como a regra - candidaturas até 09 de janeiro.
ICMWIA - International Conference on Medical Microwave Imaging Applications

A conferência visa reunir os principais especialistas no domínio da Imagiologia Médica por Micro-ondas (MMWI) e incluirá palestras, apresentações e pósteres de resumos revistos por pares e artigos de conferências, bem como workshops em áreas satélite de investigação com interesse para a investigação em MMWI.

Páginas