Publication
Analysis in weak systems
| dc.contributor.author | Fernandes, António M. | |
| dc.contributor.author | Ferreira, Fernando | |
| dc.contributor.author | Ferreira, Gilda | |
| dc.date.accessioned | 2018-02-09T10:36:53Z | |
| dc.date.available | 2018-07-31T00:30:20Z | |
| dc.date.issued | 2017 | |
| dc.description.abstract | The authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.citation | Fernandes, António M.; Ferreira, Fernando; Ferreira, Gilda - Analysis in weak systems. In Gouveia, Paula [et al.], ed. - "Logic and computation [Em linha]: essays in honour of Amílcar Sernadas". [S.l.]: College Publication, 2017. ISBN 978-1848902480. 21 p. | pt_PT |
| dc.identifier.isbn | 978-1848902480 | |
| dc.identifier.isbn | 1848902484 | |
| dc.identifier.uri | http://hdl.handle.net/10400.2/7092 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | College Publications | pt_PT |
| dc.relation | Teoria da demonstração: abordagem lógico-computacional | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | pt_PT |
| dc.subject | Mathematical logic | pt_PT |
| dc.subject | Weak analysis | pt_PT |
| dc.subject | Bounded arithmetic | pt_PT |
| dc.subject | Weak Konig's lemma | pt_PT |
| dc.subject | Polytime computability | pt_PT |
| dc.subject | Integration | pt_PT |
| dc.subject | Baire category theorem | pt_PT |
| dc.title | Analysis in weak systems | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Teoria da demonstração: abordagem lógico-computacional | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/5876/UID%2FMAT%2F04561%2F2013/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/5876/UID%2FCEC%2F00408%2F2013/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT//SFRH%2FBPD%2F93278%2F2013/PT | |
| oaire.citation.conferencePlace | College Publications | pt_PT |
| oaire.citation.endPage | 261 | pt_PT |
| oaire.citation.startPage | 231 | pt_PT |
| oaire.citation.title | Logic and Computation. Essays in Honour of Amílcar Sernadas | pt_PT |
| oaire.fundingStream | 5876 | |
| oaire.fundingStream | 5876 | |
| 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 | 790cb869-ff08-40ad-8026-fa89e1020bc0 | |
| relation.isProjectOfPublication | decf6855-f566-40f8-af12-50adc657f065 | |
| relation.isProjectOfPublication | dab4f1a3-08b3-4ccc-8509-1aa421dd896c | |
| relation.isProjectOfPublication.latestForDiscovery | dab4f1a3-08b3-4ccc-8509-1aa421dd896c |