On Use of an Explicit Congruence Predicate in Bounded Arithmetic
| dc.creator | Yamagata, Yoriyuki | |
| dc.date | 2009-04-02 | |
| dc.date.accessioned | 2026-07-07T12:59:33Z | |
| dc.date.available | 2026-07-07T12:59:33Z | |
| dc.description | We introduce system S^2_0E, a bounded arithmetic corresponding to Buss's S^2_0 with the predicate E which signifies the existence of the value. Then, we show that we can Σ^b_2-define truthness of S^2_0 E and therefore we can prove consistency of S^2_0 E in S^2_2. Finally, we conjecture that S^2_0 E + Σ^b_1-PIND interprets S^2_1. | |
| dc.description | 17 Pages | |
| dc.identifier | https://arxiv.org/abs/0904.0335 | |
| dc.identifier | http://arxiv.org/abs/0904.0335 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/225610 | |
| dc.subject | Logic | |
| dc.subject | 03F30 | |
| dc.title | On Use of an Explicit Congruence Predicate in Bounded Arithmetic | |
| dc.type | text |