INTERPRETAÇÕES FUNCIONAIS E SUAS APLICAÇÕES

Financiador

Organização

Publicações

Techniques in weak analysis for conservation results

Publication . Fernandes, António; Ferreira, Fernando; Ferreira, Gilda

We review and describe the main techniques for setting up systems of weak analysis, i.e. formal systems of second-order arithmetic related to subexponential classes of computational complexity. These involve techniques of proof theory (e.g., Herbrand’s theorem and the cut-elimination theorem) and model theoretic techniques like forcing. The techniques are illustrated for the particular case of polytime computability. We also include a brief section where we list the known results in weak analysis.

2013-09Artigo científico

Acesso aberto

Ver mais

Entidade financiadora

Fundação para a Ciência e a Tecnologia

Programa de financiamento

FARH

Número da atribuição

SFRH/BPD/34527/2006