Techniques in weak analysis for conservation results

Bibliographic Details
Main Author: Fernandes, António
Publication Date: 2013
Other Authors: Ferreira, Fernando, Ferreira, Gilda
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10400.2/10484
Summary: 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.
id RCAP_8e42a86e21b75de8e457227c2c8f0b49
oai_identifier_str oai:repositorioaberto.uab.pt:10400.2/10484
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Techniques in weak analysis for conservation resultsWeak analysisConservation resultsBounded arithmeticCut-eliminationForcingPolytime computabilityWe 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.CSLI Lecture Notes Number 211Repositório AbertoFernandes, AntónioFerreira, FernandoFerreira, Gilda2021-02-11T10:26:10Z2013-092013-09-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.2/10484eng9781575867243 (Online)9781575867236 (Print)info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-02-26T09:31:06Zoai:repositorioaberto.uab.pt:10400.2/10484Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T21:01:01.612929Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Techniques in weak analysis for conservation results
title Techniques in weak analysis for conservation results
spellingShingle Techniques in weak analysis for conservation results
Fernandes, António
Weak analysis
Conservation results
Bounded arithmetic
Cut-elimination
Forcing
Polytime computability
title_short Techniques in weak analysis for conservation results
title_full Techniques in weak analysis for conservation results
title_fullStr Techniques in weak analysis for conservation results
title_full_unstemmed Techniques in weak analysis for conservation results
title_sort Techniques in weak analysis for conservation results
author Fernandes, António
author_facet Fernandes, António
Ferreira, Fernando
Ferreira, Gilda
author_role author
author2 Ferreira, Fernando
Ferreira, Gilda
author2_role author
author
dc.contributor.none.fl_str_mv Repositório Aberto
dc.contributor.author.fl_str_mv Fernandes, António
Ferreira, Fernando
Ferreira, Gilda
dc.subject.por.fl_str_mv Weak analysis
Conservation results
Bounded arithmetic
Cut-elimination
Forcing
Polytime computability
topic Weak analysis
Conservation results
Bounded arithmetic
Cut-elimination
Forcing
Polytime computability
description 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.
publishDate 2013
dc.date.none.fl_str_mv 2013-09
2013-09-01T00:00:00Z
2021-02-11T10:26:10Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.2/10484
url http://hdl.handle.net/10400.2/10484
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 9781575867243 (Online)
9781575867236 (Print)
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv CSLI Lecture Notes Number 211
publisher.none.fl_str_mv CSLI Lecture Notes Number 211
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833599030579429376

Similar Items