Publication
Techniques in weak analysis for conservation results
| dc.contributor.author | Fernandes, António | |
| dc.contributor.author | Ferreira, Fernando | |
| dc.contributor.author | Ferreira, Gilda | |
| dc.date.accessioned | 2021-02-11T10:26:10Z | |
| dc.date.available | 2021-02-11T10:26:10Z | |
| dc.date.issued | 2013-09 | |
| dc.description.abstract | 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. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.isbn | 9781575867243 (Online) | |
| dc.identifier.issn | 9781575867236 (Print) | |
| dc.identifier.uri | http://hdl.handle.net/10400.2/10484 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | CSLI Lecture Notes Number 211 | pt_PT |
| dc.relation | Strategic Project - UI 209 - 2011-2012 | |
| dc.relation | INTERPRETAÇÕES FUNCIONAIS E SUAS APLICAÇÕES | |
| dc.relation.publisherversion | https://web.stanford.edu/group/cslipublications/cslipublications/site/9781575867236.shtml | pt_PT |
| dc.subject | Weak analysis | pt_PT |
| dc.subject | Conservation results | pt_PT |
| dc.subject | Bounded arithmetic | pt_PT |
| dc.subject | Cut-elimination | pt_PT |
| dc.subject | Forcing | pt_PT |
| dc.subject | Polytime computability | pt_PT |
| dc.title | Techniques in weak analysis for conservation results | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Strategic Project - UI 209 - 2011-2012 | |
| oaire.awardTitle | INTERPRETAÇÕES FUNCIONAIS E SUAS APLICAÇÕES | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/PEst-OE%2FMAT%2FUI0209%2F2011/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FMAT%2F104716%2F2008/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/FARH/SFRH%2FBPD%2F34527%2F2006/PT | |
| oaire.citation.conferencePlace | CSLI Publications | pt_PT |
| oaire.citation.title | New Studies in Weak Arithmetics | pt_PT |
| oaire.citation.volume | 211 | pt_PT |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| oaire.fundingStream | 3599-PPCDT | |
| oaire.fundingStream | FARH | |
| person.familyName | Ferreira | |
| person.givenName | Gilda | |
| person.identifier.ciencia-id | 0B1A-81E7-88B1 | |
| person.identifier.orcid | 0000-0003-1447-9764 | |
| person.identifier.rid | H-9953-2013 | |
| person.identifier.scopus-author-id | 14037466100 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | article | pt_PT |
| relation.isAuthorOfPublication | fd3a6c7d-42b2-4434-834f-fb161900c938 | |
| relation.isAuthorOfPublication.latestForDiscovery | fd3a6c7d-42b2-4434-834f-fb161900c938 | |
| relation.isProjectOfPublication | fb893e35-7800-41f1-bd9b-498e47e98177 | |
| relation.isProjectOfPublication | 39d19e05-7850-404f-a70b-e6c9510228c4 | |
| relation.isProjectOfPublication | d49d9cd7-397b-4eb5-a675-f3255a07202f | |
| relation.isProjectOfPublication.latestForDiscovery | 39d19e05-7850-404f-a70b-e6c9510228c4 |
Files
Original bundle
1 - 1 of 1