Sala 6.2.33, Ciências ULisboa (com transmissão através de videoconferência)
Por Paulo Santos (Universidade Nova de Lisboa - CMA).
We prove numeral forms of completeness and consistency for S^1_2 and EA. We explore the derivability conditions needed to establish our result and present a weak form of G2 without using "provability implies provable provability". We present characterizations of the provability predicates for which our numeral results hold, having EA as the surrounding theory, and consequences of our results to the study of reflection principles and truth.
Zoom | ID da reunião: 890 8479 3299 - senha de acesso: 409604
16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
