The Riemann Integral in Weak Systems of Analysis
| dc.creator | Ferreira,Fernando | |
| dc.creator | Ferreira,Gilda | |
| dc.date | 2008 | |
| dc.date.accessioned | 2024-02-06T12:56:22Z | |
| dc.date.available | 2024-02-06T12:56:22Z | |
| dc.description | Taking as a starting point (a modification of) a weak theory of arithmetic of Jan Johannsen and Chris Pollett (connected with the hierarchy of counting functions), we introduce successively stronger theories of bounded arithmetic in order to set up a system for analysis (TCA2). The extended theories preserve the connection with the counting hierarchy in the sense that the algorithms which the systems prove to halt are exactly the ones in the hierarchy. We show that TCA2 has the exact strength to develop Riemannian integration for functions with a modulus of uniform continuity. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-014-06-0908 | |
| dc.identifier | https://lib.jucs.org/article/29012/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9669 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 14(6): 908-937 | |
| dc.subject | weak analysis | |
| dc.subject | Riemann integral | |
| dc.subject | counting hierarchy | |
| dc.title | The Riemann Integral in Weak Systems of Analysis | |
| dc.type | Research Article |