A weak version of the Strong Exponential Closure
Mathematical Logic Webinar, por Giuseppina Terzo (Universitá degli studi di Napoli Federico II).
Mathematical Logic Webinar, por Giuseppina Terzo (Universitá degli studi di Napoli Federico II).
Mathematical Logic Webinar, por Isabel Oitavem (FCT - Universidade Nova de Lisboa).
Mathematical Logic Webinar, por Sérgio Marcelino (Instituto de Telecomunicações - IST).
Mathematical Logic Webinar, por Daniel Graça (Departamento de Matemática, Faculdade de Ciências e Tecnologia da Universidade do Algarve).
Mathematical Logic Webinar, por Emanuele Frittaion (Mathematics Department of TU-Darmstadt - Germany).
Mathematical Logic Webinar, por Matteo Manighetti (Inria Saclay & LIX, École Polytechnique, Palaiseau, France).
Mathematical Logic Webinar, por Fernando Ferreira (Universidade de Lisboa - CMAFcIO).
Mathematical Logic Webinar, por Bruno Jacinto (Universidade de Lisboa) e José Mestre (Stirling (SASP) e LanCog (Lisboa)).
Webinar de Lógica Matemática, por Ana Borges (Universidade de Barcelona).
Speaker: Paulo Guilherme Santos (Departamento de Matemática - Universidade Nova de Lisboa).
Abstract: In this talk, we will present a form of completeness for numerals that holds for Peano Arithmetic. We will establish relationships between this result and a weak version of an initial form of Hilbert's Program.