Techniques in weak analysis for conservation results

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorFernandes, António-
Autor(es): dc.creatorFerreira, Fernando-
Autor(es): dc.creatorFerreira, Gilda-
Data de aceite: dc.date.accessioned2022-02-15T14:07:54Z-
Data de disponibilização: dc.date.available2022-02-15T14:07:54Z-
Data de envio: dc.date.issued2021-02-10-
Data de envio: dc.date.issued2021-02-10-
Data de envio: dc.date.issued2013-09-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10400.2/10484-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10400.2/10484-
Descrição: dc.descriptionWe 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.-
Descrição: dc.descriptioninfo:eu-repo/semantics/publishedVersion-
Idioma: dc.languageen-
Publicador: dc.publisherCSLI Lecture Notes Number 211-
Relação: dc.relationPEst-OE/MAT/UI0209/2011-
Relação: dc.relationinfo:eu-repo/grantAgreement/FCT/3599-PPCDT/104716/PT-
Relação: dc.relationSFRH/BPD/34527/2006-
Relação: dc.relationhttps://web.stanford.edu/group/cslipublications/cslipublications/site/9781575867236.shtml-
Direitos: dc.rightsopenAccess-
Palavras-chave: dc.subjectWeak analysis-
Palavras-chave: dc.subjectConservation results-
Palavras-chave: dc.subjectBounded arithmetic-
Palavras-chave: dc.subjectCut-elimination-
Palavras-chave: dc.subjectForcing-
Palavras-chave: dc.subjectPolytime computability-
Título: dc.titleTechniques in weak analysis for conservation results-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)

Não existem arquivos associados a este item.