Seminário de Lógica Matemática

Intuitionism, nonstandard arithmetic and functional interpretations

Sala 6.2.33, FCUL, Lisboa

Por Bruno Dinis (Universidade de Lisboa, CMAF-CIO).

Abstract: In this two-part talk I will present a bounded modified realizability and a bounded functional interpretation for intuitionistic nonstandard arithmetic in finite types with nonstandard principles. These interpretations are sound and complete and allow to fulfill a three part goal: (i) to obtain constructive content for nonstandard arithmetic via the extraction of bounds on witnesses; (ii) to study proof-theoretic properties of nonstandard arithmetic; (iii) to fill a gap in the literature, being in line with nonstandard methods to analyze compactness arguments. The functional interpretation presented in this talk is the intuitionistic counterpart of the functional interpretation presented by Ferreira and Gaspar. In fact, by extending Krivine's negative translation and combining it with our intuitionistic functional interpretation one obtains Ferreira and Gaspar's classical functional interpretation for nonstandard arithmetic. Moreover, restricting the realizability and the functional interpretation to the so-called "purely external fragment" one recovers respectively the bounded modified realizability of Ferreira and Nunes and the bounded functional interpretation of Ferreira and Oliva. Our interpretations also bear similarities with a functional interpretation presented by Van den Berg, Briseid and Safarik but replacing finiteness conditions by majorizability conditions. I will make some remarks concerning the Transfer principle and present versions with truth of both the realizability and the functional interpretation. These versions with truth will allow to introduce the so-called "copies-only method" that allows to give a faster proof of the soundness theorem.

(Joint work with Jaime Gaspar)

16h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título/data/local do evento e fotografia do espaço

Até onde te atreves a ir? O Programa de Verão do IA é o teu portal para o Espaço.

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

Representação de programação R

Este curso tem como objetivo dotar os alunos de conhecimentos estatísticos e ferramentas para manipular, analisar e visualizar dados biológicos com o R. Introdução à modelação, simulações e estatística Bayesiana.

Seminário do Instituto de Biossistemas e Ciências Integrativas, por Vera Inácio (BioISI).

Logótipo do Verão na ULisboa, sobre um fundo azul

Uma iniciativa da Universidade de Lisboa que proporciona a oportunidade única, aos alunos do 8.º ao 12.º anos de estudo, ou que tenham já concluído o 12.º ano, de ficar a conhecer e experimentar o ritmo e o espírito da vida académica na Universidade.

Composição de imagens relativas ao voluntariado

30 de junho - Apresentações relativas ao 2.º semestre do ano letivo 2024/2025.

RSS Meetup, por Filipe Côgo (Huawei Canadá).

Foto do logótipo da FCiências.ID

1 de julho, 14h00: CIÊNCIAS e a FCiências.ID convidam a sua comunidade científica a assistir à sessão de apresentação dos projetos de Investigação e Desenvolvimento (I&D) realizados no âmbito dos Concursos Internos de Projetos de Investigação e Inovação de CIÊNCIAS.

Estátua representativa da biodiversidade do planeta Terra

Seminário Doutoral III (Doutoramento em Biologia - Especialidade de Biologia Evolutiva), por João Miguel Moreno.

Logótipo, data e local do evento

Com o tema “Ciência, Inovação e Sociedade”, o encontro será um palco de promoção e discussão do impacto científico, social, cultural e económico da investigação em Portugal.

Título e local do evento

O evento visa promover o diálogo interdisciplinar sobre estruturas de proteínas, doenças conformacionais e tecnologias baseadas em proteínas.

Horta Solar

E se fosse possível experimentar um curso universitário antes de concorrer ao ensino superior? Agora já é!

Computabilidade na Europa (CiE) - uma série interdisciplinar de conferências internacionais organizada pela Associação Computabilidade na Europa (ACiE).

Título/data do evento e vários objetos museológicos

Este curso visa fornecer uma visão atualizada do potencial das coleções museológicas para a investigação da biodiversidade. Mais especificamente, pretende apresentar estudos de caso sobre o valor dos museus e a utilização de coleções e espécimes no século XXI, utilizando novas tecnologias e métodos analíticos.

Águas subterrâneas

Curso acreditado para efeitos de progressão na carreira dos professores na dimensão cientifico-pedagógica dos grupos 420 e 520.

Título e datas do programa de estágios

Preparados para explorar a investigação de perto?

Um workshop com o objetivo de reunir académicos que abordam a história da ecologia - e a evolução da própria disciplina - a partir de uma variedade de perspetivas.

A 10.ª edição do Ser Cientista realiza-se entre 21 e 25 de julho - vem investigar connosco!

Pormenor de lâmpada

Candidaturas a decorrer de 01 a 30 de setembro.

Microplásticos no ocerano

O curso procura dar formação sobre a problemática da contaminação por detritos de plástico dos nossos ecossistemas, bem como alertar para os potenciais efeitos deletérios nos organismos, utilizando uma abordagem de ensino científico, com um discurso adequado a formandos sem formação científica - candidaturas até 03 de agosto.

Logótipo do evento, sobre fotografia dos Açores

Um simpósio internacional que reúne investigadores especializados em várias disciplinas (taxonomia, ecologia da vegetação, biogeografia, filogeografia, paleoecologia ou conservação da biodiversidade), focados na flora e vegetação terrestre e marinha da região da Macaronésia (Açores, Madeira, Selvagens, Canárias e Cabo Verde).

Quatro investigadores num laboratório

O curso visa capacitar investigadores, docentes e técnicos para integrar os princípios da economia circular em ambientes laboratoriais académicos - candidaturas até 16 de setembro.

Três investigadores num laboratório

O curso visa capacitar profissionais para aplicar os princípios da economia circular em ambientes laboratoriais industriais, promovendo práticas sustentáveis e eficientes - candidaturas até 17 de setembro.

Composição de imagens relativas à área das ciências forenses

O curso visa dotar os formandos com os conhecimento necessários à integração de equipas profissionais multidisciplinares nas áreas Médico-Legais e Forenses, em Laboratórios ou Serviços Médico-Legais e Forenses - candidaturas até 27 de julho.

Cientista a trabalhar com tubos de ensaio

Os participantes neste curso irão adquirir os conhecimentos essenciais à integração de equipas profissionais multidisciplinares na área das Análises Clínicas/Patologia Clínica, em laboratórios privados, públicos, hospitalares ou do Estado - candidaturas até 27 de julho.

Páginas